1
0
mirror of https://github.com/PDP-10/its.git synced 2026-05-24 22:30:33 +00:00

xx rename defs

This commit is contained in:
Adam Sampson
2018-05-01 15:52:03 +01:00
parent 650986a342
commit bf8c46a320