diff options
| author | Guillaume Melquiond | 2015-07-30 10:04:49 +0200 |
|---|---|---|
| committer | Guillaume Melquiond | 2015-07-30 10:04:49 +0200 |
| commit | 8ccd08f6bc6bcbda01cf65d2b6e7ecd62e4c4972 (patch) | |
| tree | 1bbee35487fad3c5c3a350d84ecff6371348f46f /dev | |
| parent | 35a743761478fffaaafd54368a5dcbcecd3133eb (diff) | |
Remove some output of Qed in the FAQ.
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions