etc/options
changeset 48459 375e45df6fdf
parent 48458 09710d6fc3d1
child 48460 20170ae271a5
     1.1 --- a/etc/options	Tue Jul 24 10:11:49 2012 +0200
     1.2 +++ b/etc/options	Tue Jul 24 10:39:03 2012 +0200
     1.3 @@ -18,7 +18,5 @@
     1.4  declare proofs : int = 0
     1.5  declare quick_and_dirty : bool = false
     1.6  
     1.7 -declare timing : bool = false
     1.8 -
     1.9  declare condition : string = ""
    1.10