diff options
| author | Emilio Jesus Gallego Arias | 2018-10-16 01:04:47 +0200 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2018-10-16 01:04:47 +0200 |
| commit | 1b4e757a90d8c0a5fc8599fffcda75618b468032 (patch) | |
| tree | dcb3956c54c6a07c26dc4f342f3bd1d330a46cc2 /kernel/environ.ml | |
| parent | da4c6c4022625b113b7df4a61c93ec351a6d194b (diff) | |
| parent | 41b640b46f9152c62271adaa930aa8e86a88f3e5 (diff) | |
Merge PR #8733: Implement ARGUMENT EXTEND in coqpp
Diffstat (limited to 'kernel/environ.ml')
0 files changed, 0 insertions, 0 deletions