../ COPYING 12-Apr-2019 17:35 17992 Makefile 12-Apr-2019 17:35 475 semia 12-Apr-2019 17:35 255514 semia.hlp 12-Apr-2019 17:35 16176 semia.opt 12-Apr-2019 17:35 81 semia_stubs.cc 12-Apr-2019 17:35 342197 semia_ui.cc 12-Apr-2019 17:35 67024 semia_ui.h 12-Apr-2019 17:35 10054