diff options
| author | Hendrik Tews | 2012-11-14 09:23:14 +0000 |
|---|---|---|
| committer | Hendrik Tews | 2012-11-14 09:23:14 +0000 |
| commit | 6ad6776fe57c191a9ed48f0a3d6cd6d21e74e11a (patch) | |
| tree | 31df105273a282c290d44c323c2e3bf1d0d13660 /pgshell/example.pgsh | |
| parent | 78a60e73ff0398392d55be24f60446c58808509c (diff) | |
fix coq-lock-ancestor for parallel compilation
Diffstat (limited to 'pgshell/example.pgsh')
0 files changed, 0 insertions, 0 deletions