#! /n/gnu/bin/sed -f
# Last edited on 2002-03-30 01:01:46 by stolfi
s:#include "fgstyle-1.inc":#include "fgstyle-0.inc":
