diff options
| author |  Matthieu Sozeau <matthieu.sozeau@inria.fr> | 2014-07-07 11:36:01 +0200 |
|---|---|---|
| committer | Matthieu Sozeau <matthieu.sozeau@inria.fr> | 2014-07-07 11:37:08 +0200 |
| commit | 200333fdc90a61665c04aca5fe58005e96738937 (patch) | |
| tree | 551b34e8dd4ee8bbcd3fd39225c044b2d47c440c /printing | |
| parent | 20870c950ba3620755697010ffc49adb71cb4118 (diff) | |
Fix g_coqast for explicit applications.
Diffstat (limited to 'printing')
0 files changed, 0 insertions, 0 deletions