diff --git a/.boring b/.boring index 60ac3667c..75826b9bb 100644 --- a/.boring +++ b/.boring @@ -124,7 +124,7 @@ tools/doctest$ tools/generateledger tools/simplifyprof -# site stuff +# site stuff not explicitly added website/.* # branch repos