mirror of
https://github.com/PDP-10/its.git
synced 2026-02-23 15:52:10 +00:00
Copy everything in the "user" directory to ITS.
But exclude it from version control.
This commit is contained in:
committed by
Eric Swenson
parent
13ea726d48
commit
70b72ff04b