Skip to content

Conversation

@sgk
Copy link
Contributor

@sgk sgk commented Jun 16, 2012

Almost all users don't realize this change. But, developers and experienced users will love it.

ffissore added a commit that referenced this pull request Dec 19, 2012
Sort keys in the preferences.txt.
@ffissore ffissore merged commit 92d1c8e into arduino:master Dec 19, 2012
@ffissore
Copy link
Contributor

merged. thanks!

ffissore pushed a commit that referenced this pull request Dec 19, 2012
@sgk
Copy link
Contributor Author

sgk commented Dec 19, 2012

Thanks!

oriregev pushed a commit to oriregev/Arduino that referenced this pull request Dec 20, 2013
Sort keys in the preferences.txt.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants