Skip to content

Duplication examples of additional libraries #3432

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Closed
PaoloP74 opened this issue Jun 29, 2015 · 4 comments
Closed

Duplication examples of additional libraries #3432

PaoloP74 opened this issue Jun 29, 2015 · 4 comments
Assignees
Labels
Component: IDE user interface The Arduino IDE's user interface
Milestone

Comments

@PaoloP74
Copy link
Contributor

Examples of additional libraries are duplicates in the subfolder "libraries" of the sketch menu.
Can you delete the sub menu "libraries"?

@Testato
Copy link

Testato commented Jun 29, 2015

👍

1 similar comment
@pighixxx
Copy link

👍

@ffissore ffissore self-assigned this Jun 29, 2015
@ffissore ffissore added the Component: IDE user interface The Arduino IDE's user interface label Jun 29, 2015
@MauroMombelli
Copy link

+1

@ffissore ffissore added this to the Release 1.6.6 milestone Jul 2, 2015
@Testato
Copy link

Testato commented Jul 2, 2015

Thanks

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Component: IDE user interface The Arduino IDE's user interface
Projects
None yet
Development

No branches or pull requests

4 participants