docs(de): drop the ignored dither keyword, document prob_mut - #802

docs(de): drop the ignored dither keyword, document prob_mut#802

tachsin wants to merge 1 commit into

anyoptimization:mainanyoptimization/pymoo:mainfrom

tachsin:docs-de-dither-prob-muttachsin/pymoo:docs-de-dither-prob-mutCopy head branch name to clipboard