Revision 66984f56
| ID | 66984f5658fc92534ae4c7ac9cd87ed201b5118b |
| Parent | 1446566f |
| Child | 5690d84c |
setup script is now aware whether git submodule initialization fails.
Files
- added
- modified
- copied
- renamed
- deleted
| ID | 66984f5658fc92534ae4c7ac9cd87ed201b5118b |
| Parent | 1446566f |
| Child | 5690d84c |
Added by Thomas Schöpping about 8 years ago
setup script is now aware whether git submodule initialization fails.