19 Nov
2011
19 Nov
'11
11:26 a.m.
Dear ConTeXt-ers, Thanks to Siep and Taco, the wiki now has google search box again. Mojca (The complication came from the fact that the site now uses only a single text window and three buttons that do different things.)