diff options
| author | Einhard Leichtfuß <alguien@respiranto.de> | 2018-12-23 17:31:46 +0100 |
|---|---|---|
| committer | Einhard Leichtfuß <alguien@respiranto.de> | 2018-12-23 17:31:46 +0100 |
| commit | 53fc988c4110e5a809d5780483c6a072c2dfae4e (patch) | |
| tree | 12183aedea03c778d36629f894cc57de00cebb32 /user-config.default.bash | |
| parent | 92d20f8fd6b0e8036da83abe8e3c4e98b1e8e029 (diff) | |
Allow for different licenses
Therefore, separate types of dictionaries in the configuration sections.
Reason: The dictionaries imported from wikdict are differently licensed.
Diffstat (limited to 'user-config.default.bash')
0 files changed, 0 insertions, 0 deletions