diff options
| author | Pierre Courtieu | 2013-06-19 12:32:39 +0000 |
|---|---|---|
| committer | Pierre Courtieu | 2013-06-19 12:32:39 +0000 |
| commit | 15ec5e4f1bcf3cddd192570596d12665bbdd1099 (patch) | |
| tree | f21b5124f66e33f6bdb096f7aeb7cd12a4105264 /CHANGES | |
| parent | 5f3115e9412cb3b955e5a79e6867bf949fa64c77 (diff) | |
Adding support for coq project file for setting coqdoc args.
First attempt, seems ok.
Diffstat (limited to 'CHANGES')
0 files changed, 0 insertions, 0 deletions