diff 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
line wrap: on
line diff
--- a/src/file-io.h
+++ b/src/file-io.h
@@ -29,6 +29,10 @@
 
 extern void close_files (void);
 
+extern void mark_for_deletion (const std::string&);
+
+extern void cleanup_tmp_files (void);
+
 #endif
 
 /*