diff options
author | Justus Winter <4winter@informatik.uni-hamburg.de> | 2014-11-07 11:44:22 +0100 |
---|---|---|
committer | Justus Winter <4winter@informatik.uni-hamburg.de> | 2014-11-21 05:55:40 +0100 |
commit | 788407b951b162148a2e223da69ff2c16d8d05b4 (patch) | |
tree | 5699af014504b80d9889df1d9e5371e22b1e6e1a /libpager/clean.c | |
parent | 5ee314b6c1ffd8b090ca6771f0896e080f7000ef (diff) |
Makeconf: handle the gnumach protocol
* Makeconf (mach_defs_names): Add `gnumach'.
Diffstat (limited to 'libpager/clean.c')
0 files changed, 0 insertions, 0 deletions