diff options
author | 2013-07-05 14:49:04 +0000 | |
---|---|---|
committer | 2013-07-05 14:49:04 +0000 | |
commit | d723e8eb8d9db658ddf758980d603cb16682aef4 (patch) | |
tree | a9ca444836bcd85dea3d73c47d5a3dcf4987c63a /doc/PG-adapting.texi | |
parent | 85434fdd653befc5e6e87818dd94bdb5076a7212 (diff) |
Updating pg documentation about new feature coq project file.
Diffstat (limited to 'doc/PG-adapting.texi')
0 files changed, 0 insertions, 0 deletions