diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2011-01-16 12:06:38 -0500 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2011-01-16 12:06:38 -0500 |
| commit | de9ddafb11df2950bf4941762e3e42eb04319a38 (patch) | |
| tree | b923b8776008018e799a36d6b62b8a75fdb42d3b /configure.ac | |
| parent | a232a71103cd877b788ba0b8d2e80e0893f468cd (diff) | |
Updating documentation in preparation for a release
Diffstat (limited to 'configure.ac')
0 files changed, 0 insertions, 0 deletions