Google Git
Sign in
gerrit/gwtorm/51d91826eb14d4951be6e825a84ff5bab3cd3dc5
commit
51d91826eb14d4951be6e825a84ff5bab3cd3dc5
[log] [tgz]
author
David Pursehouse <dpursehouse@digital.ai>
Thu Apr 23 15:27:21 2020 +0900
committer
David Pursehouse <dpursehouse@digital.ai>
Thu Apr 23 15:27:30 2020 +0900
tree
04fe1ca8e3a76e1dec5b542fe9f2ef155b1fe9d2
parent
c090c619e1decddfa92831ecd03148bd145e20e1 [diff]
Exclude generated sources from error-prone

Change-Id: I1745ea671de309d76e140d7881eb8ed51eeed4a0
1 file changed
tree: 04fe1ca8e3a76e1dec5b542fe9f2ef155b1fe9d2
  1. .settings/
  2. src/
  3. .gitignore
  4. .mailmap
  5. build-snapshot.sh
  6. COPYING
  7. GoogleFormat.xml
  8. GwtOrm-AllTests.launch
  9. pom.xml
  10. README
  11. README_DB2
  12. README_ECLIPSE
  13. README_HANA
  14. README_MAXDB
  15. README_ORACLE