diff options
| author | Pierre-Marie Pédrot | 2018-03-10 15:03:18 +0100 |
|---|---|---|
| committer | GitHub | 2018-03-10 15:03:18 +0100 |
| commit | 7f0a281f3b15d76213475316b7d18d8c37fc6f96 (patch) | |
| tree | bf17c999a7ddc54ddffb0f2571cc6ebb1e336dbd /doc/plugin_tutorial/tuto2/src | |
| parent | 8ff1a6a3fb9500b529c5b744fbbd808dbcd97bbd (diff) | |
| parent | 4718f5afec0538781195fdac82ffefb0b7c57535 (diff) | |
Merge pull request coq/ltac2#46 from ejgallego/located+libnames
[coq] Adapt to coq/coq#6837.
Diffstat (limited to 'doc/plugin_tutorial/tuto2/src')
0 files changed, 0 insertions, 0 deletions