Add DE405 also so CI doesn’t have to fetch it

2019-03-31 14:26:29 -04:00 · 2019-03-31 14:26:29 -04:00 · e176b25d9a
parent 4adbe40833
commit e176b25d9a
2 changed files with 1 additions and 0 deletions
--- a/ci/de405.bsp
+++ b/ci/de405.bsp
--- a/de405.bsp
+++ b/de405.bsp
@ -0,0 +1 @@
+ci/de405.bsp