]> granicus.if.org Git - flex/commit
projects / flex / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2f7d299) | patch
Changed option 'header' to 'header-file'. 'header' still works, though.
authorJohn Millaway <john43@users.sourceforge.net>
Thu, 5 Sep 2002 10:54:29 +0000 (10:54 +0000)
committerJohn Millaway <john43@users.sourceforge.net>
Thu, 5 Sep 2002 10:54:29 +0000 (10:54 +0000)
commit56a530abf7e16ce35ea36748ff2e86f2f0022bc2
tree817f96c7aacb09c504ad2dac5795ed2e4cc970a3tree | snapshot
parent2f7d2995f0550e2f91222c76885015d07e3d64f5commit | diff
Changed option 'header' to 'header-file'. 'header' still works, though.
flex.texi diff | blob | history
main.c diff | blob | history
options.c diff | blob | history
options.h diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.