Aesylwinn 08d055ca23 Allow setting precision of double preferences. Also increase precision of camera sensitivity.		2016-03-26 14:35:03 -04:00
..
doc	Fix some defects reported by Coverity CI	2016-01-21 16:08:04 +01:00
filter	Remove empty line at the beginning of files	2015-08-18 23:06:12 +02:00
prefs	Allow setting precision of double preferences. Also increase precision of camera sensitivity.	2016-03-26 14:35:03 -04:00
tools	Journal verifier	2016-02-22 17:01:15 -05:00
world	Merge branch 'move'	2016-03-12 13:27:00 +01:00