diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2011-05-15 17:20:08 -0400 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2011-05-15 17:20:08 -0400 |
| commit | 6a33cc1f9ad066fbde03c89c43c913082bdbcc50 (patch) | |
| tree | fe63627e68468fcab3fddb6c1c4bc04b303d20f1 /src/prefix.cm | |
| parent | f466294ad42b97ff395e9d25469b4bef8a06dbb9 (diff) | |
Grandfather into release: Use latest Debian testing autotools, etc.
Diffstat (limited to 'src/prefix.cm')
0 files changed, 0 insertions, 0 deletions