[submodule "grecs"] path = grecs url = git://git.gnu.org.ua/grecs.git [submodule "gint"] path = gint url = git://git.gnu.org.ua/gint.git [submodule "imprimatur"] path = imprimatur url = git://git.gnu.org.ua/imprimatur.git