directory /distribution/tools/ @ 1744:a23998f093d2 default tip

name size permissions
[up] drwxr-xr-x
file ListExportedClasses.java 8979 -rw-r--r--
file MergePluginDocs.java 6560 -rw-r--r--
file plugin-docs-html.xslt 4451 -rw-r--r--
file setup_remote_storage.sh 798 -rwxr-xr-x
file update-version 5041 -rwxr-xr-x
file verify-archetype-ext.sh 3991 -rw-r--r--
file verify-archetype-functions.sh 3924 -rw-r--r--
file verify-archetype-multimodule.sh 5829 -rw-r--r--