Derek Bankieris 36c19e1589 Change TPROCTE_HOME to TPRO_HOME in config_user.mk.in		2019-05-29 14:50:58 -05:00
..
doc/trick	Updates to Trick 17 Tutorial slides. Ref #554	2018-02-22 15:47:40 -06:00
man/man1	man pages completely out of date #253	2016-08-02 09:56:43 -05:00
trick	Change TPROCTE_HOME to TPRO_HOME in config_user.mk.in	2019-05-29 14:50:58 -05:00