* Deactivate some color code from Pico (as standalone editor) until
commit65f48774417d3fd4a37e21bc381ac82ca14ddcaf
authorEduardo Chappa <chappa@washington.edu>
Sun, 17 Sep 2017 22:47:50 +0000 (17 16:47 -0600)
committerEduardo Chappa <chappa@washington.edu>
Sun, 17 Sep 2017 22:47:50 +0000 (17 16:47 -0600)
tree8e7b31ce22826e07e70b97c0399f265bed2cf62e
parentb136a847c4acd743b0026c7dfd2069196520a260
   * Deactivate some color code from Pico (as standalone editor) until
     I find a way to activate it again. This is not critical and it is not
     something that PC-Pico must have (some of it already exists in other
     ways, like color support, what does not exist is the more complex
     code that Unix-Pico has with color codes for specific colors.)
pico/main.c
pith/pine.hlp