Diffusion SpecMiCP / ReactMiCP (fixpoint) History

specmicp/3rdparty
fixpoint49676e6dff97bba9dc890ef…

Nov 11 2014

Update Cmakelist, easier to compile in ohter system (i.e. denali)
2763d88b9342
·fabien on Nov 11 2014, 21:58.