elidowling.com / jj_tui
terminal user interface to jujutsu. Focused on speed and clarity
9
fork

Configure Feed

Select the types of activity you want to include in your feed.

doc comment

Eli Dowling 0fb8e4a9 51c2ea2f

+1
+1
forks/lwd/lib/lwd/lwd_impl.ml
··· 955 955 | Fix { doc; wrt } -> 956 956 let _ = aux self wrt in 957 957 let result = aux self doc in 958 + (*If the wrt is damaged, we need to re-evaluate, we will keep doing this until it is not damaged*) 958 959 if sub_is_damaged wrt then aux origin self 959 960 else ( 960 961 if sub_is_damaged doc then do_invalidate Fragile self;