892395d594
allow also overriding old (possibly bad) world dependency. hopefully it's more bullet proof now. |
||
---|---|---|
src | ||
.gitignore | ||
AUTHORS | ||
Make.rules | ||
Makefile | ||
NEWS | ||
README | ||
TODO |
892395d594
allow also overriding old (possibly bad) world dependency. hopefully it's more bullet proof now. |
||
---|---|---|
src | ||
.gitignore | ||
AUTHORS | ||
Make.rules | ||
Makefile | ||
NEWS | ||
README | ||
TODO |