diff options
| author | Erik Martin-Dorel | 2020-04-02 16:12:29 +0200 |
|---|---|---|
| committer | GitHub | 2020-04-02 16:12:29 +0200 |
| commit | 71748af5bc0f813d4c6a42f303d2c2cec85b3c9a (patch) | |
| tree | 0f6b05dc26c6f294810eba1748db1309e4bc370f /pgshell | |
| parent | a38887058166487607f03972d6d2c25ee9d5dada (diff) | |
| parent | e4e34b98fde31d813ac583f806fc3b95e3cf6059 (diff) | |
Merge pull request #474 from tchajed/add-ltac2-syntax
Add support for core Ltac2 syntax
Diffstat (limited to 'pgshell')
0 files changed, 0 insertions, 0 deletions