diff options
| author | cheusov <cheusov@pkgsrc.org> | 2012-10-02 21:02:21 +0000 |
|---|---|---|
| committer | cheusov <cheusov@pkgsrc.org> | 2012-10-02 21:02:21 +0000 |
| commit | 424b41d42d21b3809777219bf47d32a1cbccad86 (patch) | |
| tree | 30941b83d28c793c1de764126eec9235da1f776b /lang/coq/MESSAGE | |
| parent | 03b2363e06490a335548301fb31e1f444a8a0d82 (diff) | |
| download | pkgsrc-424b41d42d21b3809777219bf47d32a1cbccad86.tar.gz | |
Fix "bootstrap --unprivileged" failure on Haiku
Diffstat (limited to 'lang/coq/MESSAGE')
0 files changed, 0 insertions, 0 deletions