Select Git revision
org.lamport.tlatools.feature
Code owners
Assign users and groups as approvers for specific file changes. Learn more.
Name | Last commit | Last update |
---|---|---|
.. | ||
.project | ||
build.properties | ||
feature.xml | ||
pom.xml |
[Build]
Name | Last commit | Last update |
---|---|---|
.. | ||
.project | ||
build.properties | ||
feature.xml | ||
pom.xml |