diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2011-10-15 13:30:59 -0400 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2011-10-15 13:30:59 -0400 |
| commit | aa7c1c71c48c8829e59800d15849ad0d99205918 (patch) | |
| tree | 94479a0c35c4d83197492266e15c3da79a46a713 /doc | |
| parent | 27b7ae9ca08e4675341166928806f66623132ae2 (diff) | |
Fix parsing conflict
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions