aboutsummaryrefslogtreecommitdiff
path: root/.github
diff options
context:
space:
mode:
authorSilvio Fricke2021-05-19 13:58:44 +0200
committerSilvio Fricke2021-05-19 13:58:44 +0200
commit6202a5586d020cce3d887a472a4bde560ebce565 (patch)
treeba9912aee1a72521299d8011ef487c83a80450db /.github
parent74d4245e8b88afc5f069001bd2f875cfe253d710 (diff)
downloadlanguagetool-6202a5586d020cce3d887a472a4bde560ebce565.tar.gz
move IMAGENAME to makefile.version and use docker.io as image repo
Signed-off-by: Silvio Fricke <silvio.fricke@gmail.com>
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions