diff --git a/docs/.idea/.gitignore b/docs/.idea/.gitignore deleted file mode 100644 index 26d33521..00000000 --- a/docs/.idea/.gitignore +++ /dev/null @@ -1,3 +0,0 @@ -# Default ignored files -/shelf/ -/workspace.xml diff --git a/docs/.idea/docs.iml b/docs/.idea/docs.iml deleted file mode 100644 index 25ed3f6e..00000000 --- a/docs/.idea/docs.iml +++ /dev/null @@ -1,10 +0,0 @@ - - - - - - - - - - \ No newline at end of file diff --git a/docs/.idea/encodings.xml b/docs/.idea/encodings.xml deleted file mode 100644 index 97626ba4..00000000 --- a/docs/.idea/encodings.xml +++ /dev/null @@ -1,6 +0,0 @@ - - - - - - \ No newline at end of file diff --git a/docs/.idea/misc.xml b/docs/.idea/misc.xml deleted file mode 100644 index ae4a73fb..00000000 --- a/docs/.idea/misc.xml +++ /dev/null @@ -1,6 +0,0 @@ - - - - - - \ No newline at end of file diff --git a/docs/.idea/modules.xml b/docs/.idea/modules.xml deleted file mode 100644 index 6049cfe0..00000000 --- a/docs/.idea/modules.xml +++ /dev/null @@ -1,8 +0,0 @@ - - - - - - - - \ No newline at end of file diff --git a/docs/.idea/vcs.xml b/docs/.idea/vcs.xml deleted file mode 100644 index 6c0b8635..00000000 --- a/docs/.idea/vcs.xml +++ /dev/null @@ -1,6 +0,0 @@ - - - - - - \ No newline at end of file