diff options
| author | Toni <matzeton@googlemail.com> | 2020-10-11 15:52:13 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-10-11 15:52:13 +0200 |
| commit | 521ee3bb8356c0916b7fb228612f06e07a841b36 (patch) | |
| tree | 1f68f8ab2dbce48ebd90e66d7f9ed62140dc7492 /src/options.c | |
| parent | a54f0345f4270bc73d261705e67b63c327701cec (diff) | |
| parent | 60de9d5caa39cbd3abc62b3f8954a36c895e60a9 (diff) | |
Merge pull request #22 from oofnikj/dockerize
Add Docker build
Diffstat (limited to 'src/options.c')
0 files changed, 0 insertions, 0 deletions