diff options
author | 2017-09-03 10:51:44 +0200 | |
---|---|---|
committer | 2017-09-04 11:23:17 +0200 | |
commit | a6d3f52fef62955b6b25a3832440f041a93bc5e2 (patch) | |
tree | c6d20779e7cd3558c51bf986fb15a1d1e4bfdf77 /third_party/java/jopt-simple/src/site/site.xml | |
parent | 663df9d96f10a2dd0fa8a85b4aac39cd2cc368fb (diff) |
Remove third_party/java/jopt-simple/src/{site,test}.
They are unused and the tests depend on Joda Time which I'm going to
remove.
Also document the removal in the package's README.bazel.md.
Change-Id: I7b0ee89718bfc2cffcc60a8262cf53dbf9035669
Diffstat (limited to 'third_party/java/jopt-simple/src/site/site.xml')
-rw-r--r-- | third_party/java/jopt-simple/src/site/site.xml | 20 |
1 files changed, 0 insertions, 20 deletions
diff --git a/third_party/java/jopt-simple/src/site/site.xml b/third_party/java/jopt-simple/src/site/site.xml deleted file mode 100644 index 8dafe09e18..0000000000 --- a/third_party/java/jopt-simple/src/site/site.xml +++ /dev/null @@ -1,20 +0,0 @@ -<?xml version="1.0" encoding="UTF-8"?> -<project name="JOpt Simple - a Java command line parsing library"> - <bannerLeft> - <name>JOpt Simple</name> - <src>images/jopt-simple-logo.png</src> - <href>http://pholser.github.com/jopt-simple/</href> - </bannerLeft> - <body> - <menu name="JOpt Simple"> - <item name="Overview" href="index.html"/> - <item name="Download" href="download.html"/> - <item name="Examples" href="examples.html"/> - <item name="Change Log" href="changes.html"/> - <item name="Javadoc" href="apidocs/index.html"/> - <item name="Developer Docs" href="developer.html"/> - <item name="Acknowledgements" href="acknowledgments.html"/> - </menu> - <menu ref="reports"/> - </body> -</project> |