diff options
| author |  Pierre Courtieu <courtieu@lri.fr> | 2013-06-21 14:39:52 +0000 |
|---|---|---|
| committer | Pierre Courtieu <courtieu@lri.fr> | 2013-06-21 14:39:52 +0000 |
| commit | f9db893de2569bba596dd74b2e51ae0e0406dbe7 (patch) | |
| tree | 995f4d608947e6d525693a07bb78e4d6a6383add /pgshell | |
| parent | 7128d30cc5eedfebd359a091a50eebb50eb463bb (diff) | |
Added an entry to CHANGEs about coq project fields.
Diffstat (limited to 'pgshell')
0 files changed, 0 insertions, 0 deletions