This repository has been archived on 2023-11-20. You can view files and clone it, but cannot push or open issues or pull requests.

Bernhard Gschaider 5572d00013 Fixes to scripts: ... - hg updates to the parent revision (for cases that use bookmarks instead of branches - recommended when interacting with git) - ccache now points to the "external" cache		2014-02-10 14:22:01 +01:00
..
.OpenFOAM	First version of a vagrant box for testing OF in a clean environment	2013-09-04 14:49:25 +02:00
.bashrc	Fixes to scripts:	2014-02-10 14:22:01 +01:00
.hgrc	First version of a vagrant box for testing OF in a clean environment	2013-09-04 14:49:25 +02:00
.zshrc	Add different shells for testing the scripts	2013-09-04 15:43:58 +02:00
.zshrc.local	Add different shells for testing the scripts	2013-09-04 15:43:58 +02:00