| ... | ... | @@ -27,4 +27,5 @@ For developers: |
|
|
|
* [code formatting](dev/CodeFormatting)
|
|
|
|
* [Using CI builds of advligorts on Debian 10](UsingCIProducedAdvLigoRTSPackages)
|
|
|
|
* [Procedure for releasing new packages to apt-unstable](PackageReleaseProcedure)
|
|
|
|
* [Check list for making changes in the RCG](RCGChangeChecklist) |
|
|
\ No newline at end of file |
|
|
|
* [Check list for making changes in the RCG](RCGChangeChecklist)
|
|
|
|
* [Procedure for releasing a new production version](ProductionReleaseProcedure) |
|
|
\ No newline at end of file |
