bndtools/bndtools — pull request #807 by derheld42 (2014-01-25 08:07:16+00:00)
Title: Bndtools menu -> Refresh Repos now refreshes repo caches

This utilizes https://github.com/bndtools/bnd/pull/466