public / ack.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 14138da)
library name change
authorceriel <none@none>
Mon, 2 Feb 1987 16:04:16 +0000 (16:04 +0000)
committerceriel <none@none>
Mon, 2 Feb 1987 16:04:16 +0000 (16:04 +0000)
mach/vax4/libbsd4_1a/LIST patch | blob | history

diff --git a/mach/vax4/libbsd4_1a/LIST b/mach/vax4/libbsd4_1a/LIST
index 1e6f647..a148feb 100644 (file)
--- a/mach/vax4/libbsd4_1a/LIST
+++ b/mach/vax4/libbsd4_1a/LIST
@@ -1,4 +1,4 @@
-tail_mon.a
+libmon_s.a
 exit.c
 cleanup.c
 gtty.c
Unnamed repository; edit this file 'description' to name the repository.