|
cal
|
tools.cal: use calendar.english.
|
2017-01-04 07:29:08 -08:00 |
|
dns
|
factor: Rename GENERIC# to GENERIC#:.
|
2017-06-01 13:58:58 -05:00 |
|
tree
|
cleanup some uses of current-directory.
|
2016-03-18 17:04:05 -07:00 |
|
wc
|
tools.wc: adding "wc" tool.
|
2017-01-22 14:40:37 -08:00 |
|
which
|
unicode: make this the API for all unicode things.
|
2016-03-30 23:29:48 -07:00 |