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 95a76e1fd4efb9c2184ea713c8516e093421485c..20fa20e271433316793e5743707a612e592007b0 100644
(file)
--- a/
.gitmodules
+++ b/
.gitmodules
@@
-4,4
+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