Addendum to 50a434bb9faa23396c2619031bd07a2fa2d30d0b
tree7a3bf7ed097757af04ee7cedf8dde91ebddea4aa
-rw-r--r-- 333 .dir-locals.el
-rw-r--r-- 333 .dir-settings.el
-rw-r--r-- 810 .gitignore
-rw-r--r-- 93 .gitmodules
-rw-r--r-- 3354 Makefile
-rw-r--r-- 1151 README
-rw-r--r-- 1054 README_DIST
-rw-r--r-- 3522 README_GIT
-rw-r--r-- 11757 README_maintainer
drwxr-xr-x - UTILITIES
drwxr-xr-x - contrib
-rw-r--r-- 4215 default.mk
drwxr-xr-x - doc
drwxr-xr-x - etc
drwxr-xr-x - lisp
-rw-r--r-- 1007 request-assign-future.txt
-rw-r--r-- 4232 targets.mk
drwxr-xr-x - testing