diff options
| author | Hendrik Tews | 2012-11-05 16:22:44 +0000 |
|---|---|---|
| committer | Hendrik Tews | 2012-11-05 16:22:44 +0000 |
| commit | 7640cbe2fb2b6113725a15ddb5bf7acc9404d7ee (patch) | |
| tree | 56b258f01ecbb13a4cd020a31c87fe3df688cea2 /generic | |
| parent | 9b4fe81e56291f710a5d0f8e22a6b71e1ef5e197 (diff) | |
move ancestor locking/unlocking to coq-compile-common
Diffstat (limited to 'generic')
0 files changed, 0 insertions, 0 deletions