python3-setuptools integrated in manual.md#110

mattih11 wants to merge 1 commit intoilbers:masterilbers/isar:masterfrom

mattih11:patch-1mattih11/isar:patch-1Copy head branch name to clipboard