Thu, 16 Apr 2020 08:09:28 +0200 more complete rules on numerals
haftmann [Thu, 16 Apr 2020 08:09:28 +0200] rev 71755
more complete rules on numerals
Thu, 16 Apr 2020 00:37:07 +0200 removed obsolete RC tags;
wenzelm [Thu, 16 Apr 2020 00:37:07 +0200] rev 71754
removed obsolete RC tags;
Wed, 15 Apr 2020 14:31:21 +0200 merged
wenzelm [Wed, 15 Apr 2020 14:31:21 +0200] rev 71753
merged
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 +3000 tip