tools/dim_to_lgf.cc
Mon, 12 Mar 2007 13:57:53 +0000 dim_to_lgf has been moved to tools/ (from demo/)