diff options
| author | Erik Martin-Dorel | 2019-04-19 11:40:52 +0200 |
|---|---|---|
| committer | GitHub | 2019-04-19 11:40:52 +0200 |
| commit | 946be87a944c9d8b850fdddb83d36e2ef9dad5c9 (patch) | |
| tree | fd3eedea1e64a4ea6cb09d2ebd5d2f2e13c09137 /generic | |
| parent | 612eac576472f405fc64af98d1f1c5a13cd5fb0a (diff) | |
| parent | 0726820e39565e0cdb27254a99ab1df961a0fdf2 (diff) | |
Merge pull request #418 from SkySkimmer/clean-args
Clean -topfile for coq-prog-args properly
Diffstat (limited to 'generic')
0 files changed, 0 insertions, 0 deletions