| commit | 9e3ac7e3cbb978601579e4d5052d10968b1ec570 | [log] [tgz] |
|---|---|---|
| author | Stephan Herrmann <stephan.herrmann@berlin.de> | Tue Dec 27 23:12:48 2022 +0100 |
| committer | Stephan Herrmann <stephan.herrmann@berlin.de> | Tue Dec 27 23:12:48 2022 +0100 |
| tree | 762faa361e659964c0df7219a3f9cc0f2f5d790d | |
| parent | 31892882cfa9cd59c5a4a34ed5a3f15a2982e066 [diff] |
Try to move pde-build config to compiler.batch