Nils Kneuper 836db5e395 switched the addon server port to 15006,
...the server is not running on this port yet @timotei: also changed
the umc plugin to this port by default, please check my java changes

@soliton: please setup an addon server for trunk on this port
2012-08-25 07:02:48 +00:00
..

For the README execute 'make manual' in this directory, and the open the 'user_manual.pdf' or 'dev_manual.pdf' file.