Ruslan Ermilov 55d8033fb4 Replace a dagger' sign with a double dagger' one.
The former looks ugly on grotty(1) devices.
2000-11-16 11:22:42 +00:00
..
2000-08-21 21:05:44 +00:00
1999-08-28 00:22:10 +00:00
2000-09-27 18:24:31 +00:00
2000-11-14 11:20:58 +00:00
1999-08-28 00:22:10 +00:00
2000-11-14 11:20:58 +00:00
2000-11-14 11:20:58 +00:00