Commits · e9d58e9d9ec16217d5393f2fa8c19580c99138ed · general / stups / tla2bAST

Apr 26, 2023
- Update Gradle wrapper to version 8.1.1 · e1b48188
  dgelessus authored 2 years ago
  
  e1b48188
Apr 25, 2023
- Update Gradle wrapper to version 7.6.1 · 57807d07
  dgelessus authored 2 years ago
  
  57807d07
Sep 14, 2021
- Update Gradle wrapper to version 7.2 for Java 16 compatibility · 14990779
  dgelessus authored 3 years ago
  
  14990779
Mar 05, 2021
- Update Gradle wrapper to version 6.8.3 · a9bcad62
  dgelessus authored 4 years ago
  
  a9bcad62
Jan 13, 2020
- Add Gradle wrapper and settings.gradle · c973a29b
  dgelessus authored 5 years ago
  
  c973a29b

Admin message