diff options
| author | Michael I. Bushnell <mib@gnu.org> | 1996-03-18 17:33:48 +0000 |
|---|---|---|
| committer | Michael I. Bushnell <mib@gnu.org> | 1996-03-18 17:33:48 +0000 |
| commit | 77b32ea8095faf6ca609c6f95119214a55db0d10 (patch) | |
| tree | 21209b7ec84b74063b7be9534389bdd9abaf104a /=Maketools | |
| parent | b32509445090c11ca81df8a2e66fe33ccde8b190 (diff) | |
(diskfs_max_user_pager_prot) [add_pager_max_prot]:
(a == b) ? 1 : 0 ====> (a == b).
Diffstat (limited to '=Maketools')
0 files changed, 0 insertions, 0 deletions