chiark / gitweb /
~ian / userv.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (from: 8679548)
@@ -7,6 +7,7 @@
authorian <ian>
Tue, 1 Apr 2003 19:30:03 +0000 (19:30 +0000)
committerian <ian>
Tue, 1 Apr 2003 19:30:03 +0000 (19:30 +0000)
     (Might conceivably make USERV_GIDS be wrong on some platforms.)
+  * We do ship m4 and flex output now, so say so.


No differences found
Unnamed repository; edit this file 'description' to name the repository.