Simplified misc.h and misc.cc.
[svrt.git] / stump.cc
2009-11-22 Francois FleuretInitia commit.