Repository navigation

-DICTSOURCE: nodes record the .dict file and line that built them (#432 #475) (4.2.33) - #789

Merged

ddehilster merged 2 commits into

feature/dict-source-432

Oct 15, 2026

Merged

-DICTSOURCE: nodes record the .dict file and line that built them (#432 #475) (4.2.33)#789
ddehilster merged 2 commits into
masterfrom
feature/dict-source-432

Commits on Oct 15, 2026
- copy_file and resolve_file on std::filesystem; flush before copying the sequence (#323) (4.2.32)
  
  ddehilster
  and
  claude
  committed
  8221dd1
- -DICTSOURCE: nodes record the .dict file and line that built them (#432 #475) (4.2.33)
  
  ddehilster
  and
  claude
  committed
  ed9f360