diff options
| author | 2017-08-14 19:30:35 +1000 | |
|---|---|---|
| committer | 2017-08-14 19:30:35 +1000 | |
| commit | cebff96608c036c01b57404727de4caaa0031c8b (patch) | |
| tree | e9a29f7b52c35c9fa7f7dedbbd9d89583cfabb0d /docs | |
| parent | 4e7f7f5265dbf271ad1bbd5bd6aa8cfd2779bc0d (diff) | |
move some content for release archive out of build repo into main repo
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/.gitignore | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/docs/.gitignore b/docs/.gitignore deleted file mode 100644 index 27ffc2f17fb..00000000000 --- a/docs/.gitignore +++ /dev/null @@ -1,2 +0,0 @@ -*.pyc -build |
