| commit | 794ff73e432515eabe95a73e127f45cf7db0a04c | [log] [tgz] |
|---|---|---|
| author | Mariusz Glebocki <mglebocki@antmicro.com> | Fri Apr 07 16:26:21 2023 +0200 |
| committer | GitHub <noreply@github.com> | Fri Apr 07 16:26:21 2023 +0200 |
| tree | 21fcaa827a0bd4eec024de04fe5fa6b194baeb49 | |
| parent | 4b1b632f8b4c6326c5c64f63ff5d061367acd47c [diff] | |
| parent | ab677438ec127f1427184c1a58be0290caff9c68 [diff] |
Merge pull request #481 from hzeller/20230406-no-kitchen-sink-include Be specific of what includes we need from surelog.