diff options
| author | Jakob Odersky <jakob@odersky.com> | 2018-10-31 02:20:25 -0700 |
|---|---|---|
| committer | Jakob Odersky <jakob@odersky.com> | 2018-10-31 02:20:25 -0700 |
| commit | ae4b68364c461f7c1ebb1f3006c8aa6759dd1655 (patch) | |
| tree | d2041951c08ddfee53458ad8bad2790b57843e56 /.gitignore | |
| parent | 5a59e784e58e14a8c3634969674369839c5ee26e (diff) | |
| download | identicon-ae4b68364c461f7c1ebb1f3006c8aa6759dd1655.tar.gz identicon-ae4b68364c461f7c1ebb1f3006c8aa6759dd1655.tar.bz2 identicon-ae4b68364c461f7c1ebb1f3006c8aa6759dd1655.zip | |
Add scripts to manage demo website
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -1 +1,2 @@ target/ +.ghpages |