bin/alt-ergo
%%GUI%%bin/altgr-ergo
lib/alt-ergo/altErgo.cmi
lib/alt-ergo/altErgo.cmo
lib/alt-ergo/altErgo.cmx
lib/alt-ergo/altErgo.o
share/gtksourceview-2.0/language-specs/alt-ergo.lang
@dirrmtry share/gtksourceview-2.0/language-specs
@dirrmtry share/gtksourceview-2.0
@dirrm lib/alt-ergo