diff options
| author | Ramón M. Gómez <ramongomez@us.es> | 2018-06-14 10:48:39 +0200 |
|---|---|---|
| committer | Ramón M. Gómez <ramongomez@us.es> | 2018-06-14 10:59:34 +0200 |
| commit | b60d6b807c580e58f06a337def9a1a83b1f3bcfc (patch) | |
| tree | 7ee39403eb4f70a9f7120eb8168d6317b339bf1e /.gitignore | |
| parent | 5367fb5e61f2e89797bfe7df0e4811a1ff890f08 (diff) | |
| parent | e0e4c021382f2c8a66402c545229aa8e528750f9 (diff) | |
#794: Applying new commits from {{{devel}}} branch to {{{pjlink}}} branch.
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 |