diff options
| author |  Pierre Courtieu <courtieu@lri.fr> | 2015-04-01 13:07:03 +0000 |
|---|---|---|
| committer | Pierre Courtieu <courtieu@lri.fr> | 2015-04-01 13:07:03 +0000 |
| commit | fa7ef80e7d9bf4a4058b74dbde0b58c5ba94cf70 (patch) | |
| tree | 23e6372844832d578da050c89dce02b0372d0ad5 /twelf | |
| parent | a7c9490551d8f7638c09eea238e77c0b4aa86e6e (diff) | |
Fix fill-paragraph merging comments and code (never fill code).
Diffstat (limited to 'twelf')
0 files changed, 0 insertions, 0 deletions