From: John Darrington Date: Fri, 20 Aug 2010 16:49:01 +0000 (+0200) Subject: file-handle-def.c: replace hash with hmap X-Git-Tag: sav-api~102 X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=58d0bff829516ccbc159857674e61e813962b1d8;hp=58d0bff829516ccbc159857674e61e813962b1d8;p=pspp file-handle-def.c: replace hash with hmap ---