No description

This repository has been archived on 2026-03-28. You can view files and clone it, but you cannot make any changes to its state, such as pushing and creating new issues, pull requests or comments.

Johann Dreo f239073fc0 Merge branch 'eompi'		2012-07-26 17:07:39 +02:00
edo	build with eigen by default	2012-07-24 11:47:46 +02:00
eo	use mpicxx without a fixed path	2012-07-26 17:06:40 +02:00
website	chatroom migration to IRC indicated on the web site	2012-07-24 15:50:50 +02:00
.gitignore	Added eompi.html to gitignore exceptions	2012-07-23 10:50:28 +02:00
archive_current.sh	same name prefix for the source archive than for the packages	2011-05-17 15:59:57 +02:00