diff --git a/doc/diagram/.gitignore b/doc/diagram/.gitignore deleted file mode 100644 index a136337..0000000 --- a/doc/diagram/.gitignore +++ /dev/null @@ -1 +0,0 @@ -*.pdf