github.com/PDP-10.its
1
0
Fork 0
mirror of https://github.com/PDP-10/its.git synced 2026-02-16 12:53:06 +00:00
Code Issues Releases Wiki Activity
827 Commits 115 Branches 0 Tags
29c3f217ea9e5e1f3e36c4527b4f87d6fcf24d50
Commit Graph

1 Commits

Author SHA1 Message Date
Lars Brinkhoff
70b72ff04b Copy everything in the "user" directory to ITS. 
But exclude it from version control.
 2016-12-08 11:21:03 -08:00