dev: make ghci-web: disable the config symlink to fix makeinfo warnings
This commit is contained in:
parent
3e3c3c8355
commit
939532be95
Loading…
Reference in New Issue
Block a user