diff options
| author | Christian Grothoff <christian@grothoff.org> | 2020-08-03 01:16:53 +0200 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2020-08-03 01:16:53 +0200 |
| commit | f1cc1ca2085de9b112d42f7e2c68d21e4753781b (patch) | |
| tree | 5040bcdcd199660c883608d979cc52bb15d913d6 /.gitignore | |
| parent | ad27d52bdbfd0569ac9c87153c73d575beaca89e (diff) | |
expose language check logic
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions