projects
/
platal.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
Don't hardcode Polytechnique.org in titles.
[platal.git]
/
core
diff --git
a/core
b/core
index
ec53789
..
380e2a5
160000
(submodule)
--- a/
core
+++ b/
core
@@
-1
+1
@@
-Subproject commit
ec537891a3f18af89489062c0907523d3d57cced
+Subproject commit
380e2a5ab0f7c9edbf73c76259cb0c38119e53af