tree ccfa22872297742ac8627052421ccd3a4436a50d
parent 6f8d34ebbb0d7225e57437d48b48d0ff1a93de6a
author Julian Hyde <julianhyde@gmail.com> 1374528498 -0700
committer Julian Hyde <julianhyde@gmail.com> 1374528498 -0700

Add maven release plugin.