diff options
| author | phil <[email protected]> | 2017-05-02 14:25:02 +1200 |
|---|---|---|
| committer | phil <[email protected]> | 2017-05-02 14:25:02 +1200 |
| commit | 67f662bb98ba96210e6026209b18b55cfa0f6470 (patch) | |
| tree | b67d4cc85960a234d1c5baa75c19874933f27136 | |
| parent | 5af49b52b7367157613dac253c06ead0929b9942 (diff) | |
ignore javadoc output location
| -rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -2,3 +2,4 @@ /.project /.settings/ /target/ +/doc/ |