Jonathan Hart d57df6c322 Added alias to run less on the log

2014-10-17 15:18:02 -07:00

..

bin

Minor cleanup in some of the shell scripts in the "tools" directory.

2014-10-15 11:03:54 -07:00

bash_profile

Added alias to run less on the log

2014-10-17 15:18:02 -07:00

onos.cshrc

Added config file for csh/tcsh. It is based on the 'bash_profile' file,

2014-10-16 17:41:10 -07:00