comparison src/file-io.h @ 5102:b04b30d30c66

[project @ 2004-12-28 01:59:05 by jwe]
author jwe
date Tue, 28 Dec 2004 01:59:05 +0000
parents 8bb31a2b480b
children 4c8a2e4e0717
comparison
equal deleted inserted replaced
5101:9b1af8135ecd 5102:b04b30d30c66
27 27
28 extern void initialize_file_io (void); 28 extern void initialize_file_io (void);
29 29
30 extern void close_files (void); 30 extern void close_files (void);
31 31
32 extern void mark_for_deletion (const std::string&);
33
34 extern void cleanup_tmp_files (void);
35
32 #endif 36 #endif
33 37
34 /* 38 /*
35 ;;; Local Variables: *** 39 ;;; Local Variables: ***
36 ;;; mode: C++ *** 40 ;;; mode: C++ ***