diff options
author | Pierre Courtieu <courtieu@lri.fr> | 2013-06-19 12:32:39 +0000 |
---|---|---|
committer | Pierre Courtieu <courtieu@lri.fr> | 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