Mon, 05 Dec 2011 23:10:53 -0500 with statement considered harmful
nemo [Mon, 05 Dec 2011 23:10:53 -0500] rev 6507
with statement considered harmful
Tue, 06 Dec 2011 05:53:02 +0200 Don't forget about Rope Training.
mikade [Tue, 06 Dec 2011 05:53:02 +0200] rev 6506
Don't forget about Rope Training.
Tue, 06 Dec 2011 05:41:52 +0200 oops
mikade [Tue, 06 Dec 2011 05:41:52 +0200] rev 6505
oops
Tue, 06 Dec 2011 04:46:47 +0200 merge
mikade [Tue, 06 Dec 2011 04:46:47 +0200] rev 6504
merge
Mon, 05 Dec 2011 18:38:25 -0500 ...
nemo [Mon, 05 Dec 2011 18:38:25 -0500] rev 6503
...
Mon, 05 Dec 2011 18:38:07 -0500 ...
nemo [Mon, 05 Dec 2011 18:38:07 -0500] rev 6502
...
Tue, 06 Dec 2011 00:47:24 +0200 Add some (slightly modified) GCI missions.
mikade [Tue, 06 Dec 2011 00:47:24 +0200] rev 6501
Add some (slightly modified) GCI missions.
Mon, 05 Dec 2011 23:04:10 +0300 Let .hs be native eol format too
unc0rr [Mon, 05 Dec 2011 23:04:10 +0300] rev 6500
Let .hs be native eol format too
Mon, 05 Dec 2011 17:56:49 +0400 Start converting into monadic code using Reader monad (will be used to store information about namespace)
unc0rr [Mon, 05 Dec 2011 17:56:49 +0400] rev 6499
Start converting into monadic code using Reader monad (will be used to store information about namespace)
Fri, 02 Dec 2011 15:03:27 +0400 Some tiny optimizations
unc0rr [Fri, 02 Dec 2011 15:03:27 +0400] rev 6498
Some tiny optimizations
Sun, 04 Dec 2011 15:21:50 -0500 Bind 1-5 in defaults. Missions really need the option to pick a team though, using default team if none supplied.
nemo [Sun, 04 Dec 2011 15:21:50 -0500] rev 6497
Bind 1-5 in defaults. Missions really need the option to pick a team though, using default team if none supplied.
Sun, 04 Dec 2011 18:58:52 +0100 update the ios data script for the new audio mono location
koda [Sun, 04 Dec 2011 18:58:52 +0100] rev 6496
update the ios data script for the new audio mono location
Sun, 04 Dec 2011 18:53:49 +0100 audio mono is back
koda [Sun, 04 Dec 2011 18:53:49 +0100] rev 6495
audio mono is back
Sun, 04 Dec 2011 18:52:22 +0100 ios port working again, mono audio is missing
koda [Sun, 04 Dec 2011 18:52:22 +0100] rev 6494
ios port working again, mono audio is missing
Sun, 04 Dec 2011 11:53:08 +0100 GCI task: iOS Danish
Kimsey0 [Sun, 04 Dec 2011 11:53:08 +0100] rev 6493
GCI task: iOS Danish
(0) -3000 -1000 -300 -100 -15 +15 +100 +300 +1000 +3000 tip