Repository navigation

Minor UI changes - #32

Merged

keerthnn merged 4 commits into

mainfrom

Apr 8, 2026

Merged

Minor UI changes#32
keerthnn merged 4 commits into
mainfrom
nextPhase

Commits on Apr 8, 2026
- Renaming my-files to files
  keerthnn
  committed
  2101aec
- fixed bug: manage multiple definiendum in sigle definition
  keerthnn
  committed
  add7b70
- confimation option
  keerthnn
  committed
  6f7158f
- Merge remote-tracking branch 'origin/main' into nextPhase
  keerthnn
  committed
  95adadc