diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2020-02-05 16:53:18 +0100 |
|---|---|---|
| committer | Rémi Verschelde <rverschelde@gmail.com> | 2020-02-05 16:53:20 +0100 |
| commit | 9576ba8cdc68ab4726a816064738d4d936abd8b4 (patch) | |
| tree | 561e586bade4dae6b6b77a69fe0992bc17d92509 /thirdparty/pcre2/src/pcre2_compile.c | |
| parent | 2af3fb97f4c668da992689fced58af680978b4aa (diff) | |
Drop obsolete Dockerfile, we now have official build containers
Cf. https://github.com/godotengine/build-containers
A user-friendly tool using those containers will soon be released and
documented.
Diffstat (limited to 'thirdparty/pcre2/src/pcre2_compile.c')
0 files changed, 0 insertions, 0 deletions