Code

Make language identifiers private#763

Code

Merged

tsaglam merged 1 commit intodevelopjplag/JPlag:developfrom private-language-identifierjplag/JPlag:private-language-identifierCopy head branch name to clipboardNov 7, 2022

+16-16

Commits

Commits on Nov 7, 2022

• make language identifier constants private

  

  Jan Wittler

  committed
  da9697c

  Copy full SHA for da9697c