Google Git
Sign in
eclipse/objectteams/org.eclipse.objectteams/94deb742bfbc9c01345db23b417773b76eb3bd76
commit
94deb742bfbc9c01345db23b417773b76eb3bd76
[log]
author
Stephan Herrmann <stephan.herrmann@berlin.de>
Thu Mar 30 20:44:37 2023 +0200
committer
Stephan Herrmann <stephan.herrmann@berlin.de>
Thu Mar 30 20:44:37 2023 +0200
tree
831ac831d01848d52a4b722c64811dc3c9b419c8
parent
1933181ceea2e2ba388eeac0082de2abb5ff0303 [diff]
use JAVA17 for repository creation
1 file changed
tree: 831ac831d01848d52a4b722c64811dc3c9b419c8
  1. contrib/
  2. features/
  3. JCL/
  4. maven/
  5. org.eclipse.jdt.core/
  6. org.eclipse.jdt.core.compiler.batch/
  7. org.eclipse.jdt.core.tests.compiler/
  8. org.eclipse.jdt.core.tests.model/
  9. othersrc/
  10. plugins/
  11. releng/
  12. testplugins/
  13. .gitignore
  14. contributing.md
  15. licence.txt
  16. notice.txt