mirror of
https://github.com/unisonweb/unison.git
synced 2024-11-13 09:55:35 +03:00
refresh transcript
This commit is contained in:
parent
2d1b85e89f
commit
93dc3fa35c
@ -101,7 +101,7 @@ d = c + 10
|
||||
merge.
|
||||
|
||||
```
|
||||
At this point, `a3` is conflicted for symbols `c` and `d`, but the original `a2` namespace has an unconflicted definition for `c` and `d`.
|
||||
At this point, `a3` is conflicted for symbols `c` and `d`, but the original `a2` namespace has an unconflicted definition for `c` and `d`, so those are preferred.
|
||||
|
||||
```ucm
|
||||
.> view a b c d
|
||||
|
Loading…
Reference in New Issue
Block a user