# HG changeset patch
# User nicolas
# Date 1477420816 14400
# Node ID b57cf5ccc10821331cb6d1cc31b77af6449b5f05
# Parent ff82ecfb509e2e3e28915298eb313785e16e52df
Uploaded
diff -r ff82ecfb509e -r b57cf5ccc108 folds.xml
--- a/folds.xml Tue Oct 25 14:40:02 2016 -0400
+++ b/folds.xml Tue Oct 25 14:40:16 2016 -0400
@@ -10,11 +10,11 @@
/>