Max Horn
2f1f8f502e
DEVTOOLS: move credits from devtools/credits.pl to engines
...
This employs a "lazy" approach: the "format" for the credits stays
exactly as it was, i.e., perl code. Of course one may want to change
this to another format (e.g. YAML, JSON, XML; or also shell script or
AWK, like `configure.engine` uses). But I deliberately kept it simple,
to get a minimal change that is easy to verify. Any further changes to
e.g. the format can be layered atop this.
2021-08-05 00:01:46 +02:00
..
2021-08-02 15:41:04 +03:00
2021-07-06 20:35:42 -07:00
2021-05-31 13:24:05 +03:00
2021-05-31 13:24:05 +03:00
2021-07-21 17:12:00 +03:00
2021-06-14 16:27:19 +03:00
2021-06-14 16:27:19 +03:00
2021-07-10 19:15:41 +03:00
2021-07-10 19:15:41 +03:00
2021-06-14 16:27:18 +03:00
2021-08-02 16:13:01 +03:00
2021-07-02 17:20:37 +03:00
2021-06-14 16:27:18 +03:00
2021-06-14 16:27:18 +03:00
2021-06-12 14:58:07 +03:00
2021-06-12 14:58:07 +03:00
2021-07-02 16:38:49 +03:00
2021-07-02 16:38:49 +03:00
2021-07-08 18:24:28 -07:00
2021-07-02 16:38:49 +03:00
2021-07-06 20:35:42 -07:00
2021-06-12 14:58:07 +03:00
2021-04-17 01:45:38 +03:00
2021-07-03 19:31:48 +03:00
2021-07-03 19:31:48 +03:00
2021-08-05 00:01:46 +02:00
2021-05-31 02:03:11 +03:00
2021-07-03 19:31:48 +03:00
2020-11-18 13:48:52 +02:00
2021-04-23 15:56:49 +02:00
2021-05-22 01:34:57 +02:00
2021-07-31 19:13:36 +03:00
2021-07-27 23:01:02 +03:00
2020-12-20 16:07:52 +02:00
2020-12-20 16:07:52 +02:00
2021-04-15 21:20:36 +02:00
2021-07-03 19:31:48 +03:00
2021-06-14 16:27:19 +03:00
2021-07-21 17:12:00 +03:00
2021-07-02 16:38:49 +03:00
2021-06-27 15:00:32 +03:00
2021-04-15 21:20:36 +02:00
2021-07-02 16:38:49 +03:00
2020-11-10 02:15:03 +01:00
2021-04-17 15:04:36 +02:00
2021-07-08 18:24:28 -07:00
2021-04-17 01:45:38 +03:00
2021-04-17 01:45:38 +03:00
2021-06-16 18:25:25 +03:00
2021-06-14 16:27:19 +03:00
2021-07-03 19:31:48 +03:00
2021-07-03 19:31:48 +03:00
2020-12-31 16:17:51 +02:00
2020-09-04 23:35:34 +03:00
2021-06-16 18:25:25 +03:00
2021-06-16 18:25:25 +03:00
2021-07-02 16:38:49 +03:00
2021-07-02 16:38:49 +03:00
2020-10-16 17:06:05 +02:00