I am missing the manage libraries option on my sketch menu. Arduino 1.7.1 I see lots of documentation about when that feature was first included.. but nothing about why I might not have it, or if the functionality was removed. I was simply looking for an easy way to browse the github libraries and install those that I might be able to use.
Any ideas? I am clearly missing something.