num3-mode: use “num3--” as prefix for private symbols
tree373982a703c8303628c11e9bde91ccc31ee356b6
-rw-r--r-- 70 .bzrignore
-rw-r--r-- 35147 COPYING
-rw-r--r-- 1803 Makefile
-rw-r--r-- 3450 README
drwxr-xr-x - admin
drwxr-xr-x - html
drwxr-xr-x - packages