openwebwork/webwork2 — pull request #458 by paulvojta (2014-08-04 18:08:57+00:00)
Title: Sort library directories in LibraryBrowser3

Sort the library directories in LibraryBrowser3 (by changing LibraryList.js).