diff options
author | Adam Chlipala <adam@chlipala.net> | 2011-11-06 08:14:53 -0500 |
---|---|---|
committer | Adam Chlipala <adam@chlipala.net> | 2011-11-06 08:14:53 -0500 |
commit | 5dbd0ed0aef7235f81c6824ac745d2a7e3f6252d (patch) | |
tree | c8aaaf2f83a666ed886232e6d6d977696cc204c1 /doc/manual.tex | |
parent | 2818af2ec6161b85d1cfcbd77d9ea965ae40025c (diff) |
Remove dummy entity
Diffstat (limited to 'doc/manual.tex')
0 files changed, 0 insertions, 0 deletions