mirror of
https://github.com/arduino/arduino-ide.git
synced 2025-04-20 05:17:19 +00:00
565970e779
An internal release procedure document was created separately from the documentation hosted in this repository. That internal document became significantly more comprehensive and up to date than the unmaintained documentation in this repository. In order to avoid either the burden of maintaining two copies of the same information, or more likely the out of sync state between the information in the two resulting from lack of such maintenance, a single document will be maintained here in this repository. The superior version of the information from the internal document is hereby migrated to the repository where it will be maintained from here on.