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.

Hrvoje Jasak 60547b1dd1 Windows port: rename arch to mingw		2015-08-28 15:49:38 +01:00
..
MGridGenGamgAgglomeration	Windows port: rename arch to mingw	2015-08-28 15:49:38 +01:00
Allwmake	Merge update	2010-08-24 16:19:39 +01:00