diff options
| author | Matthias Benkard <code@mail.matthias.benkard.de> | 2008-02-16 16:19:39 +0100 |
|---|---|---|
| committer | Matthias Benkard <code@mail.matthias.benkard.de> | 2008-02-16 16:19:39 +0100 |
| commit | 36508100346b3159ee3f1fade42a534df8fe15ec (patch) | |
| tree | dcd4b5517beb78c673425916733f4fa2a11090fc /GNUmakefile | |
| parent | 89994d1bdaa674e92d3c647249cb7ff9bb85f2d9 (diff) | |
Add a few locking utility stubs.
darcs-hash:89727f37535b1a2b8360f2e9055952034fd6db9f
Diffstat (limited to 'GNUmakefile')
0 files changed, 0 insertions, 0 deletions