diff options
author | Will Estes <westes@users.noreply.github.com> | 2022-05-16 15:59:30 -0400 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-05-16 15:59:30 -0400 |
commit | 74a89fd6abf178f50f180f228613345682f7fd18 (patch) | |
tree | 4799dbce66b9580e20d9afb79462157c5123432a /po/de.po | |
parent | 00bfa85257ea06d55d9da7dcccda0a6083d9f067 (diff) | |
parent | 1677eff252854d10b29dd50d7fc520f763340f5e (diff) | |
download | flex-git-74a89fd6abf178f50f180f228613345682f7fd18.tar.gz |
Merge pull request #513 from ggujjula/issue_398
Issue 398; Documentation fix; Additional command-line options
Diffstat (limited to 'po/de.po')
0 files changed, 0 insertions, 0 deletions