Forked from
David Hamelin / jscoq-light
Source project has a limited visibility.
-
Shachar Itzhaky authored
The script has been renamed `adopt-addons`, because "consume" sounds a bit harsh.
Shachar Itzhaky authoredThe script has been renamed `adopt-addons`, because "consume" sounds a bit harsh.