[java-idp-plugin-jetty] branch dev/BatfileWIP deleted (was 3e22918)

[Rod Widdowson]

This is an automated email from the git hooks/post-receive script.

rdw pushed a change to branch dev/BatfileWIP
in repository java-idp-plugin-jetty.

     was 3e22918  WIP

This change permanently discards the following revisions:

 discard 3e22918  WIP

-- 
To stop receiving notification emails like this one, please contact
the administrator of this repository.