You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

mabrand e9cec72384 Merge pull request #76 from residuum/master ... Explanation for adding packages to index.html		12 years ago
doc	Move doc/index.html -> index.html	12 years ago
src	Merge pull request #77 from ChristianFrisson/add-armadillo	12 years ago
tools	patch tool: Add useful status messages	12 years ago
.gitignore	Add support for a local settings file settings.mk	12 years ago
CNAME	Add CNAME file for gh-pages	12 years ago
Makefile	add package cdn fallback	12 years ago
index.html	Merge pull request #76 from residuum/master	12 years ago