diff options
| author | Ramón M. Gómez <ramongomez@us.es> | 2018-05-23 14:48:04 +0200 |
|---|---|---|
| committer | Ramón M. Gómez <ramongomez@us.es> | 2018-05-23 14:48:04 +0200 |
| commit | 9199fc761629d6ab0f117415f1052ba160ec0297 (patch) | |
| tree | 9b36c4249a66ea32d2ae620acd7b0905c6dcfabe /.gitignore | |
| parent | c870c844e42cbd68b4f277b3f6e686f4c69b8fc4 (diff) | |
#708: Corregir error en verificación de administrdor de UO.
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore new file mode 100644 index 00000000..485dee64 --- /dev/null +++ b/.gitignore @@ -0,0 +1 @@ +.idea |