ok/jj
1
0
Fork 0
forked from mirrors/jj
jj/lib/src/protos
Martin von Zweigbergk a87125d08b backend: rename ConflictPart to ConflictTerm
It took a while before I realized that conflicts could be modeled as
simple algebraic expressions with positive and negative terms (they
were modeled as recursive 3-way conflicts initially). We've been
thinking of them that way for a while now, so let's make the
`ConflictPart` name match that model.
2023-02-17 23:28:50 -08:00
..
mod.rs
op_store.proto git: allow conflicts in "HEAD@git" 2023-01-30 09:05:03 -08:00
op_store.rs git: allow conflicts in "HEAD@git" 2023-01-30 09:05:03 -08:00
store.proto backend: rename ConflictPart to ConflictTerm 2023-02-17 23:28:50 -08:00
store.rs backend: rename ConflictPart to ConflictTerm 2023-02-17 23:28:50 -08:00
working_copy.proto cleanup: update more "checkout" to "working-copy commit" and similar 2023-01-25 11:02:59 -08:00
working_copy.rs cleanup: update more "checkout" to "working-copy commit" and similar 2023-01-25 11:02:59 -08:00