On 07/25/2018 01:47 PM, Jürgen Spitzmüller wrote: > Am Mittwoch, den 25.07.2018, 17:54 +0200 schrieb Jürgen Spitzmüller: >> Am Mittwoch, den 25.07.2018, 17:40 +0200 schrieb Pavel Sanda: >>> Git is unfortunately very bad system for storage of large binary >>> chunks, >>> compared to svn, all previous dicts will be locally stored on your >>> machine... >> Personally, I wouldn't mind. We do not update these files very often > Also note that the dictionaries are simple text files.
For the time being, I will use Pavel's method, since it requires the least work (and does work). Longer term, we should perhaps move these somewhere better. Riki
