diff options
| author | Silvio Fricke | 2021-05-19 13:58:47 +0200 |
|---|---|---|
| committer | Silvio Fricke | 2021-05-19 13:58:47 +0200 |
| commit | 0583aee8c5715a78d2c7f905481e4a19aa8582ed (patch) | |
| tree | f0f6542d0f4212dfc01f48a9c29a7d0fbf7bc408 /Makefile | |
| parent | 6202a5586d020cce3d887a472a4bde560ebce565 (diff) | |
| download | languagetool-0583aee8c5715a78d2c7f905481e4a19aa8582ed.tar.gz | |
github: fix name of destination
I do not know how this could happen...
Signed-off-by: Silvio Fricke <silvio.fricke@gmail.com>
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions