diff options
| author | Vincent Laporte | 2018-11-21 09:19:34 +0000 |
|---|---|---|
| committer | Vincent Laporte | 2019-03-18 10:29:52 +0000 |
| commit | 63abcb2c05ff1cab52fc6a4d3c0e93c91e8940e5 (patch) | |
| tree | 1656ff76777fc7c038df5e0012bfdcbbc780a0c0 /ide/wg_ScriptView.ml | |
| parent | 8ca754b1737adb4700609d43ef434a6d06c54ffe (diff) | |
[CoqIDE] dune rules for installing bindings
Diffstat (limited to 'ide/wg_ScriptView.ml')
0 files changed, 0 insertions, 0 deletions