Thu, 08 Nov 2012 15:57:01 -0500 merge
nemo [Thu, 08 Nov 2012 15:57:01 -0500] rev 8014
merge
Thu, 08 Nov 2012 17:18:49 +0400 Various tweaks to recent AI change
unc0rr [Thu, 08 Nov 2012 17:18:49 +0400] rev 8013
Various tweaks to recent AI change
Thu, 08 Nov 2012 15:54:11 -0500 this wasn't needed IMO
nemo [Thu, 08 Nov 2012 15:54:11 -0500] rev 8012
this wasn't needed IMO
Wed, 07 Nov 2012 23:04:29 -0500 objects too
nemo [Wed, 07 Nov 2012 23:04:29 -0500] rev 8011
objects too
Wed, 07 Nov 2012 21:47:00 -0500 something bender asked for. allow a mask without a map
nemo [Wed, 07 Nov 2012 21:47:00 -0500] rev 8010
something bender asked for. allow a mask without a map
Wed, 07 Nov 2012 18:46:00 -0500 oups
nemo [Wed, 07 Nov 2012 18:46:00 -0500] rev 8009
oups
Sun, 11 Nov 2012 14:59:22 +0100 search for more clang names webgl
koda [Sun, 11 Nov 2012 14:59:22 +0100] rev 8008
search for more clang names
Wed, 07 Nov 2012 15:37:02 -0500 Make FindPlace more flexible on large maps.
nemo [Wed, 07 Nov 2012 15:37:02 -0500] rev 8007
Make FindPlace more flexible on large maps.
(0) -3000 -1000 -300 -100 -30 -10 -8 +8 +10 +30 +100 +300 +1000 +3000 tip