Merge branch 'maint'
[org-mode/org-tableheadings.git] / mk / 
tree6ba8c1e0dbd714c082c0360d7240d9d6f2d74f66
drwxr-xr-x   ..
-rw-r--r-- 5826 default.mk
-rw-r--r-- 6019 eldo.el
-rwxr-xr-x 1651 fake_change_log.pl
-rwxr-xr-x 2554 git-changelog
-rwxr-xr-x 2677 guidesplit.pl
-rwxr-xr-x 811 list-hooks.pl
-rwxr-xr-x 3380 make_emacs_changelog
-rwxr-xr-x 908 manfull.pl
-rwxr-xr-x 3324 mansplit.pl
-rw-r--r-- 7378 org-fixup.el
-rwxr-xr-x 3429 orgcard2txt.pl
-rwxr-xr-x 21705 pw
-rw-r--r-- 5412 server.mk
-rwxr-xr-x 1549 set-version.pl
-rw-r--r-- 4946 targets.mk