diff --git a/user_guide/.idea/.gitignore b/user_guide/.idea/.gitignore deleted file mode 100644 index b58b603f..00000000 --- a/user_guide/.idea/.gitignore +++ /dev/null @@ -1,5 +0,0 @@ -# Default ignored files -/shelf/ -/workspace.xml -# Editor-based HTTP Client requests -/httpRequests/ diff --git a/user_guide/.idea/dictionaries/jahid.xml b/user_guide/.idea/dictionaries/jahid.xml deleted file mode 100644 index a7cfdad5..00000000 --- a/user_guide/.idea/dictionaries/jahid.xml +++ /dev/null @@ -1,3 +0,0 @@ - - - \ No newline at end of file diff --git a/user_guide/.idea/modules.xml b/user_guide/.idea/modules.xml deleted file mode 100644 index a3b0e731..00000000 --- a/user_guide/.idea/modules.xml +++ /dev/null @@ -1,8 +0,0 @@ - - - - - - - - \ No newline at end of file diff --git a/user_guide/.idea/user_guide.iml b/user_guide/.idea/user_guide.iml deleted file mode 100644 index 0b872d82..00000000 --- a/user_guide/.idea/user_guide.iml +++ /dev/null @@ -1,12 +0,0 @@ - - - - - - - - - - - - \ No newline at end of file diff --git a/user_guide/.idea/vcs.xml b/user_guide/.idea/vcs.xml deleted file mode 100644 index 2e3f6920..00000000 --- a/user_guide/.idea/vcs.xml +++ /dev/null @@ -1,6 +0,0 @@ - - - - - - \ No newline at end of file