diff options
author | Michael I. Bushnell <mib@gnu.org> | 1994-02-10 19:04:49 +0000 |
---|---|---|
committer | Michael I. Bushnell <mib@gnu.org> | 1994-02-10 19:04:49 +0000 |
commit | 27fdf0f9dc12f9e86a348c43046420a07e041200 (patch) | |
tree | 0c3da93f34c22c897145d022accda4850d578bed | |
parent | e8da2b175811c3b6a9b3c370499a9ef5031fe48a (diff) |
Formerly pager.h.~5~
-rw-r--r-- | libpager/pager.h | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/libpager/pager.h b/libpager/pager.h index 54cd28d2..6dc2a986 100644 --- a/libpager/pager.h +++ b/libpager/pager.h @@ -19,10 +19,6 @@ #ifndef _HURD_PAGER_ #define _HURD_PAGER_ -/* This is a user-dependent type which represents a location of - a single page. */ -typedef void *location_t; - /* This declaration exists to place struct user_pager_info in the proper scope. */ struct user_pager_info; |