Jenkins 46d4773e70 Update notes for submitted changes ...

* Add global option --exclude-servers=EXCLUDE_SERVERS

2013-08-16 21:21:08 +00:00

..

bc887d4a2f3b84b5a5beb1290a8063206bce19

Update notes for submitted changes

2013-08-16 21:21:08 +00:00