diff options
| author | Dion Dokter <[email protected]> | 2021-10-18 16:23:39 +0200 |
|---|---|---|
| committer | Dario Nieuwenhuis <[email protected]> | 2021-10-26 14:47:12 +0200 |
| commit | 11655af034538b463ff8220714e9b97cf53f8f56 (patch) | |
| tree | b22cd986313293328f472bb8c9637c59b654af65 /.github/workflows | |
| parent | e6ec81b999541cca847b50075ac0d5d826f97dcd (diff) | |
Another redo using the feedback.
PPI is now split up into PPI and DPPI under the name 'interconnect'.
The tasks and events are tracked and reset in the drop function.
Diffstat (limited to '.github/workflows')
0 files changed, 0 insertions, 0 deletions