Martin Weinelt 3bb3f02bcd contrib: drop Jenkins setup ... Has gone unused for a while now and if it is needed again it can be retrieved from the history.		2021-08-10 22:42:19 +02:00
..
minimal-site	contrib: Set up continuous integration through Jenkins	2019-09-26 16:12:09 +02:00