summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorMarcello Stanisci <marcello.stanisci@inria.fr>2017-06-01 08:51:14 +0200
committerMarcello Stanisci <marcello.stanisci@inria.fr>2017-06-01 08:51:14 +0200
commitdd8e82384c3e0ff999d8f23cc3de4e4443fdd833 (patch)
tree498e30fd675d6e49e7d277e5cb7a9a68e7da3f64 /.gitignore
parentb0b68384d28cca6ce7b2f15e7e92c4925d9d5e69 (diff)
downloaddeployment-dd8e82384c3e0ff999d8f23cc3de4e4443fdd833.tar.gz
deployment-dd8e82384c3e0ff999d8f23cc3de4e4443fdd833.tar.bz2
deployment-dd8e82384c3e0ff999d8f23cc3de4e4443fdd833.zip
docs > doc, just to be consistent with other repos.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions