Commit efcee315 authored by Fabian Nuraddin Alexander Gabel's avatar Fabian Nuraddin Alexander Gabel 💬
Browse files

Merge branch 'cfg0846-dev-patch-38305' into 'dev'

Update Size-Ramsey_Numbers.md add dreding key

See merge request !152
parents 1384031e 6f4606ba
Pipeline #120950 failed with stages
in 37 seconds