Merge branch 'save_ext' into jgrpp

2017-04-11 18:42:11 +01:00
parent f2cd869a56 498b3db504
commit d1a287d73c
10 changed files with 89 additions and 52 deletions
--- a/source.list
+++ b/source.list
@@ -369,6 +369,7 @@ story_type.h
 strgen/strgen.h
 string_base.h
 string_func.h
+string_func_extra.h
 string_type.h
 stringfilter_type.h
 strings_func.h