diff options
| author | Guilhem Moulin <guilhem@fripost.org> | 2020-08-03 14:52:42 +0200 |
|---|---|---|
| committer | Guilhem Moulin <guilhem@fripost.org> | 2020-08-03 20:29:54 +0200 |
| commit | 821d0ea7b5c3802952ee99ca98dbe379908b2649 (patch) | |
| tree | f9392ce03e8b05eb799bb605201d19df6c016829 /doc/benchmark.md | |
| parent | dc883341a13340c85b028ee16aa0963db6f47587 (diff) | |
Makefile: remove 'smart' extension from pandoc call to generate manuals.
Diffstat (limited to 'doc/benchmark.md')
0 files changed, 0 insertions, 0 deletions