]> www.ginac.de Git - ginac.git/blobdiff - ginsh/ginsh_lexer.lpp
Remove accidentally pushed binary.
[ginac.git] / ginsh / ginsh_lexer.lpp
index a3824cd2730fd3b3a7061fd007b8a793d3462226..b33763b383276029b1e0dab266601d7bcdab9c4c 100644 (file)
@@ -26,6 +26,8 @@
  *  Definitions
  */
 
+%option nounput
+
 %pointer
 
 %{