Label language preferences + diff-pretty label-language prefs support - #1287

Open

jclerman wants to merge 6 commits into

ontodev:masterfrom

jclerman:label-language-prefs+diff-pretty-usage

Commits on Jul 4, 2026

working version of label lang-preference support, with wiring into robot diff's "pretty" format
jclerman
committed
566c7d3

Commits on Jul 5, 2026

update diff command to accept label-language preference-list. works only for "pretty" format (for now).
jclerman
committed
72fad99

Commits on Jul 6, 2026