removed an obsolete comment

pull/89/head
jmoenig 2019-02-15 17:50:49 +01:00
rodzic 83adb56bd0
commit cbe0dc6723
1 zmienionych plików z 0 dodań i 1 usunięć

Wyświetl plik

@ -3763,7 +3763,6 @@ InputSlotDialogMorph.prototype.specialOptionsMenu = function () {
);
}
// +++ add another radio button for "options"
addSpecialOptions('(none)', '');
addSpecialOptions('messages', '§_messagesReceivedMenu');
addSpecialOptions('objects', '§_objectsMenu');