| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | a hole in fieldocc | Yuchen Pei | 2022-07-18 | 1 | -0/+1 |
| | | |||||
| * | removing hackage url for ids | Yuchen Pei | 2022-07-18 | 1 | -19/+7 |
| | | |||||
| * | Adding hackage url to top level decl properties | Yuchen Pei | 2022-07-18 | 1 | -20/+35 |
| | | |||||
| * | Adding org backend. | Yuchen Pei | 2022-07-18 | 1 | -0/+1016 |
