tokenize.py shell_buffer.py: Add TOKEN_COLON
tree287828bad4bd7a3a38f6803edc5eef60afa1a60d
-rw-r--r-- 6 .gitignore
-rw-r--r-- 17993 COPYING
-rw-r--r-- 680 README
drwxr-xr-x - bin
drwxr-xr-x - lib