wok view le/stuff/gcc-4.patch @ rev 21724

updated ptxdist again (2012.03.0 -> 2019.06.0)
author Hans-G?nter Theisgen
date Wed Jun 12 15:14:06 2019 +0100 (2019-06-12)
parents
children
line source
1 --- src/options.cc 2009-09-22 20:30:26.000000000 +0200
2 +++ src/options.cc 2009-09-22 20:30:01.000000000 +0200
3 @@ -1245,7 +1245,7 @@
4 FindColor(new_bw_pal,color_no));
5 return -1;
6 }
7 - char *l=strchr(button,'&');
8 + const char *l=strchr(button,'&');
9 if(!l)
10 return -1;
11 char res=toupper(l[1]);