Atgeirr Flø Rasmussen a8e042aeb6 Merge pull request #902 from joakim-hove/rename-memcmp-double ... Renamed memcmp_double -> opm_memcmp_double		2015-10-14 09:32:45 +02:00
..
core	Merge pull request #902 from joakim-hove/rename-memcmp-double	2015-10-14 09:32:45 +02:00