Matitaweb: Some bugfixes concerning file flags.

[helm.git] / matitaB / matita / matitaFilesystem.mli

diff --git a/matitaB/matita/matitaFilesystem.mli b/matitaB/matita/matitaFilesystem.mli
index f1906b1e8bb40a938d081a04ac94dcd19619a0f2..4d1bd50d8d244562ff6533f373350e3aee3fa54c 100644 (file)
--- a/matitaB/matita/matitaFilesystem.mli
+++ b/matitaB/matita/matitaFilesystem.mli
@@ -33,3 +33,5 @@ val do_global_commit : unit -> string list
 val update_user : string -> (string * svn_flag list) list * string list
 
 val stat_user : string -> (string * svn_flag list) list * string list
+
+val normalize_qfn : string -> string