public / ack.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 39ac6fb)
Added xenix3
authorceriel <none@none>
Mon, 11 Apr 1988 12:38:24 +0000 (12:38 +0000)
committerceriel <none@none>
Mon, 11 Apr 1988 12:38:24 +0000 (12:38 +0000)
mach/.distr patch | blob | history

diff --git a/mach/.distr b/mach/.distr
index 50005d9..59c2fa3 100644 (file)
--- a/mach/.distr
+++ b/mach/.distr
@@ -22,5 +22,6 @@ s2650
 sun3
 sun2
 vax4
+xenix3
 z80
 z8000
Unnamed repository; edit this file 'description' to name the repository.