1
0
mirror of https://github.com/arduino/Arduino.git synced 2025-01-30 19:52:13 +01:00

Fixed error message

This commit is contained in:
Cristian Maglie 2018-08-10 11:01:06 +02:00
parent bd770ae949
commit 62511c0889

View File

@ -181,7 +181,7 @@ public class LibrariesIndexer {
+ "Library folder names must start with a letter or number, followed by letters,\n"
+ "numbers, dashes, dots and underscores. Maximum length is 63 characters."),
subfolderName);
BaseNoGui.showMessage(tr("Ignoring bad library name"), mess);
BaseNoGui.showMessage(tr("Ignoring library with bad name"), mess);
}
continue;
}