diff options
| author | Miles Bader <miles@gnu.org> | 1997-07-21 22:39:17 +0000 |
|---|---|---|
| committer | Miles Bader <miles@gnu.org> | 1997-07-21 22:39:17 +0000 |
| commit | e106d0f9bf3afcd2d0cd0f6d56fb202f524e578e (patch) | |
| tree | e08fbe17b6f1da04efc03b7949ed7318931cd111 /libpager | |
| parent | ccfa753ba17c0744c39450a2331a5540bb1e91f3 (diff) | |
(store_map):
If we can't map STORE directly, and it has a source file, try to map that
instead.
Diffstat (limited to 'libpager')
0 files changed, 0 insertions, 0 deletions