c31e766a24
Remove hls-brittany as it's no longer necessary Fix the update script to include hls-explicit-imports-plugin and hls-retrhls-retrie-plugin |
||
---|---|---|
.. | ||
default.nix | ||
hls-explicit-imports-plugin.nix | ||
hls-hlint-plugin.nix | ||
hls-retrie-plugin.nix | ||
hls-tactics-plugin.nix | ||
update.sh | ||
withWrapper.nix |