diff options
author | Miles Bader <miles@gnu.org> | 1997-07-21 22:45:25 +0000 |
---|---|---|
committer | Miles Bader <miles@gnu.org> | 1997-07-21 22:45:25 +0000 |
commit | 4b0c6a3489ee1e7f25244d5da6851e1e9b9d634e (patch) | |
tree | e02e0063222beaa0b9832b63e0a4eec7ce7fc6b5 /libstore/ChangeLog | |
parent | 0fe565dc60af896456b196754cdd2adc94b325dd (diff) |
.
Diffstat (limited to 'libstore/ChangeLog')
-rw-r--r-- | libstore/ChangeLog | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/libstore/ChangeLog b/libstore/ChangeLog index e3d37155..13727187 100644 --- a/libstore/ChangeLog +++ b/libstore/ChangeLog @@ -1,3 +1,11 @@ +1997-07-18 Miles Bader <miles@gnu.ai.mit.edu> + + * map.c (store_map): If we can't map STORE directly, and it has a + source file, try to map that instead. + * remap.c (store_remap): If we are mutating SOURCE, close any + source port it has. + * store.h (store_map_source): Declaration removed. + 1997-07-17 Miles Bader <miles@gnu.ai.mit.edu> * store.h (store_map): New declaration. |