Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Removing the web client | Yuchen Pei | 2022-09-19 | 1 | -39/+0 |
* | Delete trailing whitespace (#42) | Avi Dessauer | 2019-08-21 | 1 | -2/+2 |
* | Fix identifier search URL after the package has changed | alexwl | 2019-04-04 | 1 | -1/+1 |
* | Remove unused variables and functions | alexwl | 2019-02-20 | 1 | -6/+2 |
* | Add a switch between 'search in the current package' and 'search in all packa... | alexwl | 2019-02-13 | 1 | -2/+21 |
* | Initial commit | alexwl | 2018-10-02 | 1 | -0/+24 |