diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2009-03-12 10:26:04 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2009-03-12 10:26:04 -0400 |
| commit | ea001e7d3ef077a1367933ba8f77eece735be04d (patch) | |
| tree | 1653bd0911cb8ac0c45c88d0deb2812a7e425db4 /doc/manual.tex | |
| parent | d6e16e63172af6e1423df382e359cc9607325042 (diff) | |
Change location/type of [fold] to be more uniform w.r.t. derived folders
Diffstat (limited to 'doc/manual.tex')
0 files changed, 0 insertions, 0 deletions