view .hgsub @ 15826:93516992ee34

javamem.m: adapt to 'boxing' Java doubles
author Philip Nienhuis <prnienhuis@users.sf.net>
date Fri, 21 Dec 2012 22:12:29 +0100
parents e40ae983288f
children 44f30dcd87e0
line wrap: on
line source

gnulib = [git]git://git.sv.gnu.org/gnulib