diff options
| author | Christian Segundo | 2022-04-10 12:07:27 +0200 |
|---|---|---|
| committer | GitHub | 2022-04-10 12:07:27 +0200 |
| commit | 2fe33cbcb6a05e45d990fa1e21ac7ff42f2bc603 (patch) | |
| tree | 2bdbf1c5e7cf336a95cf97309434ebd2cd000e71 /.github | |
| parent | 73279ea16cfc28856302ac7ecdfe28026507f060 (diff) | |
| parent | fe4774d97c2c6faeddd8414829d7fe443d4837aa (diff) | |
| download | languagetool-2fe33cbcb6a05e45d990fa1e21ac7ff42f2bc603.tar.gz | |
Merge pull request #2 from someone-stole-my-name/feature/httpserveroptions
Add support for HTTPServerConfig options
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions