Alexis Hildebrandt 755b915a15 treewide: Remove indefinite article from meta.description ... nix run nixpkgs#silver-searcher -- -G '\.nix$' -0l 'description.*"[Aa]n?' pkgs \ | xargs -0 nix run nixpkgs#gnused -- -i '' -Ee 's/(description.*")[Aa]n? (.)/\1\U\2/'		2024-06-09 23:07:45 +02:00
..
build-idris.nix	idris2Packages.buildIdris: better nix-shell support via shellHook	2024-03-29 09:29:08 -05:00
default.nix	idris2Packages.idris2Lsp: init at 2024-01-21	2024-01-23 23:18:34 -06:00
idris2-lsp.nix	treewide: add meta.mainProgram to packages with a single binary	2024-03-19 03:14:51 +01:00
idris2.nix	treewide: Remove indefinite article from meta.description	2024-06-09 23:07:45 +02:00
tests.nix