1
0
mirror of https://github.com/PDP-10/its.git synced 2026-04-15 00:09:07 +00:00

Add info file for PR.

This commit is contained in:
Lars Brinkhoff
2018-02-19 13:42:12 +01:00
parent d8ccaeef14
commit cf9c91a4b0

1099
doc/info/pr.5 Executable file

File diff suppressed because it is too large Load Diff