Harald Welte efdcfde38f cgit: change URL for gerrit change-ids ... Change-Id: Ifda98d8081b976194a9fafcfdcdb6f6340df6844 Related:OS#4529		2020-05-08 19:59:16 +02:00
..
.release	Makefile support for our production infrastructure containers	2018-06-03 16:11:26 +00:00
Dockerfile	cgit: Fix group membership to allow read of git repos	2018-08-18 17:28:54 +02:00
Makefile	Makefile support for our production infrastructure containers	2018-06-03 16:11:26 +00:00
osmo-commit-filter.py	cgit: change URL for gerrit change-ids	2020-05-08 19:59:16 +02:00
syntax-highlighting.py	Add osmocom-extended cgit container	2018-03-28 13:45:48 +02:00