1
0
Fork 0
mirror of https://github.com/davatorium/rofi.git synced 2024-11-11 13:50:48 -05:00

Remove debug output

This commit is contained in:
Dave Davenport 2016-12-11 21:58:55 +01:00
parent 8f8d296029
commit 6cca2b1ecd
3 changed files with 2 additions and 3 deletions

View file

@ -1,4 +1,4 @@
%option noyywrap nounput batch debug
%option noyywrap nounput batch
%{
#include <stdio.h>

View file

@ -1,6 +1,5 @@
%glr-parser
%skeleton "glr.c"
%locations
%debug
%error-verbose

View file

@ -900,7 +900,7 @@ int main ( int argc, char *argv[] )
if ( config.theme ) {
rofi_theme_parse_file ( config.theme );
rofi_theme_print ( rofi_theme );
// rofi_theme_print ( rofi_theme );
}
// Dump.