diff options
author | Yuchen Pei <hi@ypei.me> | 2022-09-14 17:12:56 +1000 |
---|---|---|
committer | Yuchen Pei <hi@ypei.me> | 2022-09-14 18:54:30 +1000 |
commit | bcf7e7e7fd7ef236a88ad1dcad6692a340e34687 (patch) | |
tree | 38d4b6b79d2ba8cbf42d01c7451e5185d2e33ebc /.github | |
parent | a0691d9b7c2d9eab53f2dc38d2d9a45be94ed77f (diff) |
removed custom ids for packages and modules
they are not really used in links
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions