descriptionUnnamed repository; edit this file 'description' to name the repository.
ownerAndre Ebersold
last changeWed, 18 May 2022 13:17:48 +0000 (15:17 +0200)
shortlog
2022-05-18 Ebersold AndreUpdated rules master
2022-05-18 Ebersold AndreFixed build log warning
2022-05-17 Ebersold AndreFixed some build issues with wsl ubuntu 18
2021-12-22 EbersoldInitial import from svn
heads
3 years ago master