Ben Wiederhake 8d680dd1ad
Meta: Lint for duplicate endpoint IDs ...
We currently have 16 endpoints. The IDs are typed by a human at creation time.
This check will detect with we ever use an endpoint ID twice.
Since the large irrelevant directories are ignored, this should be quick enough.
2020-08-15 20:48:52 +02:00
2020-08-06 09:43:03 +02:00
2020-08-15 00:05:45 +02:00
2020-07-01 12:53:39 +02:00
2020-07-28 19:09:44 +02:00
2020-07-28 19:09:44 +02:00
2020-07-28 17:07:22 +02:00
2020-08-12 16:18:33 +02:00
2020-05-14 20:15:18 +02:00
2020-05-28 00:50:55 +02:00
2020-05-28 00:50:55 +02:00
2020-05-28 00:50:55 +02:00
2020-07-29 01:34:22 +02:00
2020-08-15 20:48:52 +02:00
2020-07-29 01:34:22 +02:00
2020-07-05 15:43:14 +02:00
2020-08-15 13:38:24 +02:00
2020-08-14 15:09:59 +02:00
2020-06-02 19:29:31 +02:00
2019-11-06 21:51:33 +01:00
2019-09-18 12:15:02 +02:00
2019-06-07 18:14:13 +02:00
2019-04-30 15:27:35 +02:00
2020-08-04 11:27:14 +02:00
8d680dd1ad
