diff options
| author | Fendor <power.walross@gmail.com> | 2021-02-03 19:10:20 +0100 |
|---|---|---|
| committer | Fendor <power.walross@gmail.com> | 2021-03-27 10:50:17 +0100 |
| commit | 66609597a6c206d07ef110412c45831b3e0988c2 (patch) | |
| tree | e06ec766f683dbc3f646b469312e90c791465f2d /latex-test/src/NamespacedIdentifier/NamespacedIdentifier.hs | |
| parent | 3699d74aac686c1e071ab050456698ff2ea8c7df (diff) | |
Add UnitId to Target record
This way we always know to which home-unit a given target belongs to.
So far, there only exists a single home-unit at a time, but it
enables having multiple home-units at the same time.
Diffstat (limited to 'latex-test/src/NamespacedIdentifier/NamespacedIdentifier.hs')
0 files changed, 0 insertions, 0 deletions