diff options
| author | Erik Martin-Dorel | 2019-08-21 10:48:33 +0200 |
|---|---|---|
| committer | GitHub | 2019-08-21 10:48:33 +0200 |
| commit | d53ded580e30d49e7a783280fd9ba96bc9c1c39c (patch) | |
| tree | 08a582677df7611dfdb2618666da36f11b4d40be /pgshell | |
| parent | aa36785c6e7166da0720e05ba708cdf22687a9d9 (diff) | |
| parent | 4f46b3ff3c904663c99457fbe1ed1a63a5e739b2 (diff) | |
Merge pull request #438 from hendriktews/fix-vio2vo-8-10
coq-par-compile: fix 8.10 -schedule-vio2vo incompatibility
Diffstat (limited to 'pgshell')
0 files changed, 0 insertions, 0 deletions