diff options
author | Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2016-04-09 17:27:53 +0200 |
---|---|---|
committer | Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2016-04-27 21:55:45 +0200 |
commit | c2249c3b4c3387a3c8510e68fc447274d7299695 (patch) | |
tree | e9a1fff9f8b89056f321244487cd6f91e7b56769 /dev/nsis/coq.nsi | |
parent | f7ea0193c1aac918d8ed2df0d53df38dde5d1152 (diff) |
Adding a target for beautification.
Diffstat (limited to 'dev/nsis/coq.nsi')
0 files changed, 0 insertions, 0 deletions