diff options
| author | Pierre Courtieu | 2013-07-09 17:40:44 +0000 |
|---|---|---|
| committer | Pierre Courtieu | 2013-07-09 17:40:44 +0000 |
| commit | a169507920a0116839a32b691d095be7106932c7 (patch) | |
| tree | 7db52ecb839fa604a191b6af06f16951b7ce8039 /pgshell | |
| parent | a818564b6e0ff66b0e52503b1359411b00c6f4a4 (diff) | |
Fixed interaction between file variables and coq project file + faq.
Diffstat (limited to 'pgshell')
0 files changed, 0 insertions, 0 deletions