annotate .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
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
13883
ecf0c6bca0c9 maint: keep gnulib under a subrepo
Jordi Gutiérrez Hermoso <jordigh@octave.org>
parents:
diff changeset
1 gnulib = [git]git://git.sv.gnu.org/gnulib