diff --git a/.gitignore b/.gitignore index ced8484..bf353d7 100644 --- a/.gitignore +++ b/.gitignore @@ -8,3 +8,4 @@ checkouts/* doc/* deploy.docs.sh target/* +todo.org