diff options
| author | Jeroen van Rijn <Kelimion@users.noreply.github.com> | 2023-07-31 16:55:37 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-07-31 16:55:37 +0200 |
| commit | ed3354b4333520d2a3d05b49cd6cf8c137484dc4 (patch) | |
| tree | ffd109102caeb1a15681f5759e9bea7f401ac2dc /src/check_builtin.cpp | |
| parent | c3a316664a213efff4a082071d61e4c99e2892af (diff) | |
| parent | 963eeee361ed59c16a990836ee1132dfba105a89 (diff) | |
Merge pull request #2692 from hasanyasin/master
Fix dropped "dev-" prefix from version tag
Diffstat (limited to 'src/check_builtin.cpp')
0 files changed, 0 insertions, 0 deletions