diff options
| author | Christian Grothoff <christian@grothoff.org> | 2020-10-31 09:57:39 +0100 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2020-10-31 09:57:39 +0100 |
| commit | f1d2ed93a76d5542387494711c7e6741bd3dd821 (patch) | |
| tree | c0deaeee8e3703275e899ef9b761f064d9c98fa8 /doc/doxygen/Makefile.am | |
| parent | 68a8cf311cc80edb2d1e0ebd88f0e55f800691bd (diff) | |
remove -s option again: not needed thanks to idempotency
Diffstat (limited to 'doc/doxygen/Makefile.am')
0 files changed, 0 insertions, 0 deletions