Merge branch 'master' of git+ssh://repo.or.cz/srv/git/org-mode
[org-mode/org-tableheadings.git] / UTILITIES / 
tree00fdf6c6765084251ecca79322de3c36819c6699
drwxr-xr-x   ..
-rwxr-xr-x 1651 fake_change_log.pl
-rwxr-xr-x 1329 set-version.pl