Code

Line Editing for Index#2323

Code

Merged

art-w merged 2 commits intomirage:mainmirage/irmin:mainfrom christinerose:line-edit_indexchristinerose/irmin:line-edit_indexCopy head branch name to clipboardSep 6, 2024

+11-11

Commits

Commits on Aug 28, 2024

• Expanded Irmin def. & minor line editing

  christinerose

  authored
  20f1f95

Commits on Aug 29, 2024

• typos and clarification

  Show description for 172e089
  

  christinerose

  and

  art-w

  authored
  172e089