diff options
| author | Erik Martin-Dorel | 2018-05-29 10:03:28 +0200 |
|---|---|---|
| committer | GitHub | 2018-05-29 10:03:28 +0200 |
| commit | 9ba67efb35f4a68b4d7a23e0dc3fd4970af943d8 (patch) | |
| tree | adb2a992c0fdf34ee03377aa7ae1f5de4e85172b /pgshell | |
| parent | 73792323172e289b531afc086d3f97323b28ecb6 (diff) | |
| parent | 75283fdbb3c9179730091ec7076b37a9bcb86dad (diff) | |
Merge pull request #360 from ProofGeneral/update-readme
Update README.md (about PG branches and license)
Diffstat (limited to 'pgshell')
0 files changed, 0 insertions, 0 deletions