nixo
/
gri3-wm
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Make the warning about $terminal being deprecated an error (Thanks fallen)

This commit is contained in:
Michael Stapelberg 2010-02-16 19:25:07 +01:00
parent e78bb02082
commit e225742415
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/cfgparse.y
View File

@ -536,7 +536,7 @@ exec:
terminal: terminal:
TOKTERMINAL WHITESPACE STR TOKTERMINAL WHITESPACE STR
{ {
DLOG("The terminal option is DEPRECATED and has no effect. " ELOG("The terminal option is DEPRECATED and has no effect. "
"Please remove it from your configuration file."); "Please remove it from your configuration file.");
} }
; ;