foo Rev: server/base_server/roxen.pike:1.16 Rev: server/etc/restart.html:1.3 Rev: server/etc/rgb.dat:1.2 Rev: server/modules/graphics/graphic_text.pike:1.3