diff options
author | 2017-08-14 19:30:35 +1000 | |
---|---|---|
committer | 2017-08-14 19:30:35 +1000 | |
commit | cebff96608c036c01b57404727de4caaa0031c8b (patch) | |
tree | e9a29f7b52c35c9fa7f7dedbbd9d89583cfabb0d /.gitignore | |
parent | 4e7f7f5265dbf271ad1bbd5bd6aa8cfd2779bc0d (diff) |
move some content for release archive out of build repo into main repo
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore index bbd044d9293..bb1319fc9c1 100644 --- a/.gitignore +++ b/.gitignore @@ -40,6 +40,7 @@ !/*.bdf !/LICENSE /.idea +docs/build regtests/chdman/temp regtests/jedutil/output /CMakeLists.txt |