Refactor app details#25
Open
solomon23 wants to merge 26 commits intocaprover:masterfrom
Open
Commits
Commits on Sep 15, 2019
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Sep 16, 2019
Commits on Sep 17, 2019
Commits on Sep 18, 2019
- committed
- committed
- committed
- committed
- committed