Some code related to the old numeric syntax has been removed.
authorimode <immediate.mode@gmail.com>
Fri, 23 Nov 2018 06:32:22 +0000 (22:32 -0800)
committerimode <immediate.mode@gmail.com>
Fri, 23 Nov 2018 06:32:22 +0000 (22:32 -0800)
commit96ba29f44354845ff1086bea39d387d6b3ac7873
tree7244e22b0b91a987c7bf8e4423a13800df0581e8
parent6cda02711e044f3474405558771080ddf616182e
Some code related to the old numeric syntax has been removed.
modal.py