diff options
| author | Clément Pit--Claudel | 2016-05-16 19:00:26 -0400 |
|---|---|---|
| committer | Clément Pit--Claudel | 2016-05-16 19:00:26 -0400 |
| commit | 3bcc3c41799dd8b8bf50d182346d962b67f396ab (patch) | |
| tree | 1d3c694348cbe46986ed41bbd3189e746e35d3d7 /generic | |
| parent | 4346278e5ae54fe46a3dd04cb92892a0c9e045c0 (diff) | |
| parent | 9ae103b86dd3cdfc3e6e6326ebc1a8f803e50f7d (diff) | |
Merge branch 'master' of github.com:ProofGeneral/PG
Diffstat (limited to 'generic')
0 files changed, 0 insertions, 0 deletions