Holger Rapp 3346474963 Grow the ProbabilityGrid as needed instead of preconfiguring its size. (#387) ... This removes the 'half_length' option. PAIR=wohe		2017-07-05 14:17:04 +02:00
..
conf.py	Small documentation fixes. (#32)	2016-10-05 17:27:08 +02:00
configuration.rst	Grow the ProbabilityGrid as needed instead of preconfiguring its size. (#387)	2017-07-05 14:17:04 +02:00
index.rst	Add the configuration doc and an update script. (#172)	2016-12-21 16:21:43 +01:00