diff options
| author | jc0b <j@jc0b.computer> | 2020-07-22 16:28:47 +0200 |
|---|---|---|
| committer | Fabian Mastenbroek <mail.fabianm@gmail.com> | 2020-08-24 19:48:21 +0200 |
| commit | d7469b9ebb01cf36a78cc98aab31fa8f307c4f65 (patch) | |
| tree | d0535fa0cfe95001302fbd2b0d046d51caab6ffd /frontend/src/shapes | |
| parent | 67b6ec800df8e023efadb60ae5f7919030b19789 (diff) | |
| parent | 9e7cb3bd367607b32e102c3a87b68b33c53dec46 (diff) | |
Merge branch 'master' onto working copy
Diffstat (limited to 'frontend/src/shapes')
| -rw-r--r-- | frontend/src/shapes/index.js | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/frontend/src/shapes/index.js b/frontend/src/shapes/index.js index 8296055a..9fab6f5d 100644 --- a/frontend/src/shapes/index.js +++ b/frontend/src/shapes/index.js @@ -129,6 +129,7 @@ Shapes.Scenario = PropTypes.shape({ schedulerName: PropTypes.string.isRequired, scheduler: Shapes.Scheduler, }).isRequired, + results: PropTypes.object, }) Shapes.WallSegment = PropTypes.shape({ |