« Previous | Next » 

Revision be80e4ea

IDbe80e4ea313632e4b15affe6885488bc669ede91
Parent addec3b9
Child 42cfbac5

Added by hans about 4 years ago

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

View differences