Rename Site.{cshrc,profile} to unix.{csh,sh}

This commit is contained in:
2018-06-26 15:41:27 -05:00
parent b32629c3bf
commit eae59183cc
6 changed files with 8 additions and 5 deletions