diff options
| author | Dirk Engling <erdgeist@erdgeist.org> | 2014-01-11 20:37:11 +0100 |
|---|---|---|
| committer | Dirk Engling <erdgeist@erdgeist.org> | 2014-01-11 20:37:11 +0100 |
| commit | a5e0e84b98553c3198b6d78a095e96baa57e1fed (patch) | |
| tree | a4b0b187cc8b8de8c2c51302cd051f8c7f63c6d9 /src/cleanindex.c | |
| parent | fee745afb8def443e3b59422bd57a4e7f1c2437f (diff) | |
mappings must now be either PRIVATE or SHARED, but not 0 anymore
Diffstat (limited to 'src/cleanindex.c')
0 files changed, 0 insertions, 0 deletions