simplify Printexc2 even further
commit38d697a8005d9b9b50e9ee4b4558da4f3c391afa
authorygrek <ygrek@autistici.org>
Sun, 9 Mar 2014 15:43:57 +0000 (9 23:43 +0800)
committerygrek <ygrek@autistici.org>
Mon, 23 Jan 2017 01:20:56 +0000 (22 17:20 -0800)
treefc903e84599a0b6b5816c59d763c376892db9d1d
parent4591a46edf791df9ec239d1cf6009cf32defcdd7
simplify Printexc2 even further
config/Makefile.in
src/gtk/newgui/gui_main.ml
src/gtk2/gui/guiMain.ml
src/utils/cdk/printexc2.ml
src/utils/cdk/printexc2.mli