Changed format of installation records
tree2b575eb456d90fba79e01689c37dfdc3f98e350f
lrwxrwxrwx 32 COPYING -> /usr/share/common-licenses/GPL-3
-rw-r--r-- 3056 README.org
-rw-r--r-- 1439 do-elinstall.el
-rw-r--r-- 36275 elinstall.el
drwxr-xr-x - elinstall