nixpkgs/pkgs/development/libraries/agda
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
..
1lab
agda-categories treewide: Remove indefinite article from meta.description 2024-06-09 23:07:45 +02:00
agda-prelude
agdarsec
cubical
functional-linear-algebra
generic
iowa-stdlib
standard-library treewide: Remove indefinite article from meta.description 2024-06-09 23:07:45 +02:00