chiark / gitweb /
~ian / userv.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 577f76e) | patch
@@ -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)
commit8679548ef7b4aab8a2163bc92b8f936af0db91bd
treef954acde0d08c72ef14b81985910f10ffeff4c7btree | snapshot
parent577f76ec28003536eb948cadfb24e9fa81dfdad6commit | diff
@@ -7,6 +7,7 @@
     (Might conceivably make USERV_GIDS be wrong on some platforms.)
+  * We do ship m4 and flex output now, so say so.
INSTALL diff | blob | history
debian/changelog diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.