Joe Groff 96ab4492d2 rename current string-mangling "char*" to "c-string". char* is now just a boring old pointer to char		2010-02-23 11:42:02 -08:00
..
platforms.txt	…
time.factor	rename current string-mangling "char*" to "c-string". char* is now just a boring old pointer to char	2010-02-23 11:42:02 -08:00