diff options
| author | John Ericson <John.Ericson@Obsidian.Systems> | 2020-10-11 17:07:14 +0000 |
|---|---|---|
| committer | John Ericson <John.Ericson@Obsidian.Systems> | 2020-10-11 17:07:14 +0000 |
| commit | 5c74a6147b4b81dc5b173f190f02f6681ec4b0fe (patch) | |
| tree | 979adfae0a34fa826691cd05227605630a84b43f /local.mk | |
| parent | 8cc510fb792cffe383bcc57c413f3e8347772d08 (diff) | |
Properly type the derivation and substitution goal maps
As a bonus, Worker::removeGoal is less inefficient.
Diffstat (limited to 'local.mk')
0 files changed, 0 insertions, 0 deletions