projects
/
mediagoblin.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
#303 : enhancement : add a command to delete users
[mediagoblin.git]
/
.gitmodules
diff --git
a/.gitmodules
b/.gitmodules
index e6a7464c93980757cea7e40fcdf8952ebbd6b5c6..20fa20e271433316793e5743707a612e592007b0 100644
(file)
--- a/
.gitmodules
+++ b/
.gitmodules
@@
-4,3
+4,6
@@
[submodule "extlib/pdf.js"]
path = extlib/pdf.js
url = git://github.com/mozilla/pdf.js.git
+[submodule "extlib/skeleton"]
+ path = extlib/skeleton
+ url = git://github.com/dhg/Skeleton.git