diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2020-09-01 20:28:08 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-09-01 20:28:08 +0200 |
| commit | 86459726eebe6acc35e6ec81a3af2d3a8d5a5393 (patch) | |
| tree | 9589d42c7560dcf7b2e1ad3f7dea9b24b5b8cf44 /doc/classes/float.xml | |
| parent | f8720c85cae70390ed173fb1fe2ac169ea6074ef (diff) | |
| parent | f571d1f9c1100cbd446d192b20842aca95311dfc (diff) | |
Merge pull request #41681 from SecretPanda420/patch-1
Remove GitHub actions badge.
Diffstat (limited to 'doc/classes/float.xml')
0 files changed, 0 insertions, 0 deletions