diff options
| author | rsiddharth <s@ricketyspace.net> | 2016-08-01 23:45:11 +0000 |
|---|---|---|
| committer | rsiddharth <s@ricketyspace.net> | 2016-08-01 23:45:11 +0000 |
| commit | 2815b452f9af7395e8e2178ddf8362c93bdce4ad (patch) | |
| tree | df063fe2adaf6e086db176ffc2ba3810d35d601d /docs/assets/includes/header.html | |
| parent | 28b4bae99d448215a7b6f5173043158a157c099e (diff) | |
update Makefile
* Makefile (push-docs): don't delete `releases`.
Diffstat (limited to 'docs/assets/includes/header.html')
0 files changed, 0 insertions, 0 deletions