chiark / gitweb /
~ian / userv.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6cab4f8) | patch
Patch from Peter Benie.
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Mon, 23 Jan 2017 14:31:23 +0000 (14:31 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Mon, 23 Jan 2017 14:31:23 +0000 (14:31 +0000)
commitf53cd40f20431be077e96cb70e6dae9692276356
treecb9e98d489b234fa4073395de00312eea9f88d5atree | snapshot
parent6cab4f8fc3de7f4e4cd5ab5a1989017ea8e695fecommit | diff
Patch from Peter Benie.
* Specify #define YY_NO_INPUT, which avoids an unused function warning. Patch from Peter Benie.
debian/changelog diff | blob | history
lexer.l diff | blob | history
lexer.l.m4 diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.