replace_chunk: fix wrong sign-extension
[hed.git] / util / 
treee453329c2ea015467593b00f628cad5f2b0eaefc
drwxr-xr-x   ..
-rw-r--r-- 8064 lists.h
-rw-r--r-- 1772 numbers.h