Revision be80e4ea
ID | be80e4ea313632e4b15affe6885488bc669ede91 |
Parent | addec3b9 |
Child | 42cfbac5 |
remove ".git" from submodule URLs from github.com, its unneeded
github.com does lots of nice redirection so that there is a single URL for
everything.
Files
- added
- modified
- copied
- renamed
- deleted