Wed, 27 Jun 2012 23:09:48 +0300 Set encoding for '#debian-russian'.
Oleksandr Gavenko <gavenkoa@gmail.com> [Wed, 27 Jun 2012 23:09:48 +0300] rev 877
Set encoding for '#debian-russian'.
Wed, 06 Jun 2012 23:28:41 +0300 merged
Oleksandr Gavenko <gavenkoa@gmail.com> [Wed, 06 Jun 2012 23:28:41 +0300] rev 876
merged
Wed, 06 Jun 2012 23:28:22 +0300 Disable shown consts in *goal* buffer.
Oleksandr Gavenko <gavenkoa@gmail.com> [Wed, 06 Jun 2012 23:28:22 +0300] rev 875
Disable shown consts in *goal* buffer.
(0) -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 tip