Author | SHA1 Message | Date |
---|---|---|
![]() |
742cdd1077 maint/update-years.sh: add command to restore script permissions. | 1 month ago |
![]() |
a018086f48 maint: remove obsolete CI/maint and re-implement source index | 4 months ago |