Finishing the renaming.
[flatland.git] / misc.cc
2017-02-28 Francois FleuretInitial commit.