Georg Brandl 6ffc73a1e1 Makefile: fix Jenkins host
Change-Id: I1ae3c27d0839b8dffde4cf9da5a13fa00f88a9d3
2022-10-20 14:03:59 +02:00
2021-04-30 08:08:22 +02:00
2022-10-19 11:31:51 +02:00
2020-04-09 17:04:09 +02:00
2021-02-24 08:44:13 +01:00
2022-09-22 14:57:52 +02:00
2020-01-15 08:15:35 +01:00
2022-10-20 14:03:59 +02:00
2020-04-09 17:04:09 +02:00
Description
PSI local frappy repo, probably ahead of git/gerrit at MLZ
4.8 MiB
Languages
Python 99.9%