nitlanguage / nit.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 8699316 78d391e)
Merge: github: save Github events ids.
authorJean Privat <jean@pryen.org>
Mon, 30 Nov 2015 15:09:24 +0000 (10:09 -0500)
committerJean Privat <jean@pryen.org>
Mon, 30 Nov 2015 15:09:24 +0000 (10:09 -0500)
Save event IDs so the future loader will know it will not have to process it again.

Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>

Pull-Request: #1867
Reviewed-by: Romain Chanoir <romain.chanoir@viacesi.fr>
Reviewed-by: Jean Privat <jean@pryen.org>


Trivial merge
Nit language project; an oo programing language and its tool suite.