Ticket #3488: util.h.patch

File util.h.patch, 419 bytes (added by username?, 12 years ago)
Line 
1*** util.h.old  2010-08-05 11:18:29.000000000 +0200
2--- util.h      2010-08-05 11:54:42.000000000 +0200
3***************
4*** 55,61 ****
5  {
6      GTR_UNICODE_UP,
7      GTR_UNICODE_DOWN,
8!     GTR_UNICODE_INF
9  };
10  const char * gtr_get_unicode_string( int );
11 
12--- 55,62 ----
13  {
14      GTR_UNICODE_UP,
15      GTR_UNICODE_DOWN,
16!     GTR_UNICODE_INF,
17!     GTR_UNICODE_DIV
18  };
19  const char * gtr_get_unicode_string( int );
20