# HG changeset patch
# User wenzelm
# Date 1472937902 -7200
# Node ID fc030773ec9096eca843f40fc18df5b90188ed70
# Parent  f1968429e3396db2b9ab805068ac9c33c691b65b
tuned;

diff -r f1968429e339 -r fc030773ec90 src/Pure/Tools/sqlite.scala
--- a/src/Pure/Tools/sqlite.scala	Sat Sep 03 22:56:57 2016 +0200
+++ b/src/Pure/Tools/sqlite.scala	Sat Sep 03 23:25:02 2016 +0200
@@ -1,6 +1,5 @@
 /*  Title:      Pure/Tools/sqlite.scala
     Author:     Makarius
-    Options:    :folding=explicit:
 
 Support for SQLite databases.
 */