Public snapshot for fcdf00b5e17d7689d7de709c1b79068d0ee98859

Src-commit: fcdf00b5e17d7689d7de709c1b79068d0ee98859
ciao-lang · Jul 14, 2018 · 9aaa183 · 9aaa183
1 parent 51bc047
commit 9aaa183
Showing 1 changed file with 0 additions and 54 deletions.
diff --git a/core/library/actmod/SETTINGS_actmod.pl b/core/library/actmod/SETTINGS_actmod.pl