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 7 years ago
setup script is now aware whether git submodule initialization fails.