diff options
| author | Gaëtan Gilbert | 2019-05-17 14:03:33 +0200 |
|---|---|---|
| committer | Gaëtan Gilbert | 2019-05-17 14:03:33 +0200 |
| commit | 28dfb113c19f467fdc2b785d1c5a07a42aefa488 (patch) | |
| tree | 3043795320d590bbed795ff3881b461deb010382 /dev/tools/coqdev.el | |
| parent | 11533785773269d9632ef8925ed34ea2d541818b (diff) | |
Overlay for removing Generalized 1st arg
Diffstat (limited to 'dev/tools/coqdev.el')
0 files changed, 0 insertions, 0 deletions