diff --git a/.boring b/.boring index e5f036d4a..60ac3667c 100644 --- a/.boring +++ b/.boring @@ -113,4 +113,19 @@ (^|/)\.DS_Store$ +# cabal stuff (^|/)dist$ + +# profiles etc. +(^|/)profs($|/) + +# compiled tools +tools/doctest$ +tools/generateledger +tools/simplifyprof + +# site stuff +website/.* + +# branch repos +(^|/)b[[:digit:]]*-