Ellidiss GUI-specific configuration files
Showing
misc/ellidiss/IVConfig.ini
0 → 100644
misc/ellidiss/ada_kate.tcl
0 → 100644
misc/ellidiss/blackbox.tcl
0 → 100644
misc/ellidiss/build_ada.tcl
0 → 100644
misc/ellidiss/build_c.tcl
0 → 100644
misc/ellidiss/c_kate.tcl
0 → 100644
misc/ellidiss/cleanup.tcl
0 → 100644