Skip to content
GitLab
Projects
Groups
Topics
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in
Toggle navigation
Menu
general
stups
ProB Rodin Plugin
Repository
prob_rodin_plugin
de.prob.core
build.gradle
Find file
Blame
History
Permalink
Fix dubious indents and formatting in Gradle scripts
· 77e913c1
dgelessus
authored
Jul 23, 2021
77e913c1