Release 6.23release_6.23
[org-mode.git] / UTILITIES / 
tree7117d5ff9a415451f5dfe7a24720b4d5dd8fa5cb
drwxr-xr-x   ..
-rwxr-xr-x 1651 fake_change_log.pl
-rwxr-xr-x 644 gplmanual.pl
-rwxr-xr-x 811 list-hooks.pl
-rwxr-xr-x 753 manfull.pl
-rwxr-xr-x 3070 mansplit.pl
-rwxr-xr-x 1509 set-version.pl