diff options
author | Jose <jose@zeroc.com> | 2014-12-23 19:30:29 +0100 |
---|---|---|
committer | Jose <jose@zeroc.com> | 2014-12-23 19:30:29 +0100 |
commit | 8125c42867d0ba3e48b6035a10d0d1ac72e304a2 (patch) | |
tree | f55df5c2460ee2d6e521fc4ef48cfcfbf5a002ad /js/lib | |
parent | fix typo (diff) | |
download | ice-8125c42867d0ba3e48b6035a10d0d1ac72e304a2.tar.bz2 ice-8125c42867d0ba3e48b6035a10d0d1ac72e304a2.tar.xz ice-8125c42867d0ba3e48b6035a10d0d1ac72e304a2.zip |
restore .gitingore file removed in previous commit
Diffstat (limited to 'js/lib')
-rw-r--r-- | js/lib/.gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/js/lib/.gitignore b/js/lib/.gitignore new file mode 100644 index 00000000000..39af5887579 --- /dev/null +++ b/js/lib/.gitignore @@ -0,0 +1 @@ +# Dummy file, so that git retains this otherwise empty directory. |