diff options
| author | BESSON Frederic | 2021-03-05 11:58:20 +0100 |
|---|---|---|
| committer | BESSON Frederic | 2021-03-19 15:13:01 +0100 |
| commit | 122d6dd2b5a7df8f02851cd1de8bf770091cf10d (patch) | |
| tree | 0278bfe49f6f212f0356935a20d2e8d4437b6e38 /doc/plugin_tutorial/tuto0/_CoqProject | |
| parent | 1e28f86f1947142095e18f4fdd11ed036e7a6e33 (diff) | |
[zify] Index by GlobRef instead constr
Co-authored-by: Gaëtan Gilbert <gaetan.gilbert@skyskimmer.net>
Diffstat (limited to 'doc/plugin_tutorial/tuto0/_CoqProject')
0 files changed, 0 insertions, 0 deletions