diff options
| author | Guillaume Melquiond | 2015-07-29 19:07:54 +0200 |
|---|---|---|
| committer | Guillaume Melquiond | 2015-07-29 19:07:54 +0200 |
| commit | ffb2788b92323901c1024d1eae221e4beb4b6670 (patch) | |
| tree | e39723381ba96b2359e8ee5e2a187fe1b00bace4 /doc/tutorial | |
| parent | f7180b6a33349ded33269d3ba25a9e0ed75d1896 (diff) | |
Remove empty commands from the output of coq-tex.
Diffstat (limited to 'doc/tutorial')
0 files changed, 0 insertions, 0 deletions