Clifford Wolf f53e19cc71 Fix equiv_opt indenting ... Signed-off-by: Clifford Wolf <clifford@clifford.at>		2018-12-16 15:57:28 +01:00
..
equiv_add.cc
equiv_induct.cc
equiv_make.cc
equiv_mark.cc
equiv_miter.cc
equiv_opt.cc	Fix equiv_opt indenting	2018-12-16 15:57:28 +01:00
equiv_purge.cc
equiv_remove.cc
equiv_simple.cc
equiv_status.cc
equiv_struct.cc
Makefile.inc