[Trennmuster] kompilieren

[Werner LEMBERG]

>> Nein.  Aber ich finde es unnötig!  Warum nicht einfach ein neues,
>> kleines git-Repositorium, das bloß die Muster enthält?  Git kann
>> mit großen Dateien wie »wortliste« immer noch nicht effektiv
>> umgehen (probiere doch einmal »git blame wortliste«)...
> 
> Github verwendet Git.

Natürlich, aber darum geht's doch gar nicht!  Wenn Du lokal ein »git
blame wortliste« ausführst, braucht es eeeeewig.


     Werner