Fix build with newer flex.
authorjoerg <joerg>
Thu, 22 Dec 2011 00:28:20 +0000 (00:28 +0000)
committerjoerg <joerg>
Thu, 22 Dec 2011 00:28:20 +0000 (00:28 +0000)
commit216ee0ef5420b44ca3384657b432dcc8ef5fcad0
tree87a9c3dca5c42d88fd7cd884e9c582ebef2ff61d
parentb33fc894956c50da5b4750e991228062185e3b12
Fix build with newer flex.
misc/jive/distinfo
misc/jive/patches/patch-jive.l [new file with mode: 0644]
news/xrn/distinfo
news/xrn/patches/patch-rclex.l [new file with mode: 0644]