nitlanguage / nit.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 48bbbbc a6cd972)
Merge: nitrpg: add nitrpg.user.js for enhanced user experience
authorJean Privat <jean@pryen.org>
Tue, 24 Feb 2015 03:59:58 +0000 (10:59 +0700)
committerJean Privat <jean@pryen.org>
Tue, 24 Feb 2015 03:59:58 +0000 (10:59 +0700)
A script to use with [user-script][1] compliant plugin for your browser to enhance the user experience on github for nitrpg players.

[1]: http://en.wikipedia.org/wiki/Greasemonkey

Pull-Request: #1169
Reviewed-by: Alexandre Terrasa <alexandre@moz-code.org>
Reviewed-by: Alexis Laferrière <alexis.laf@xymus.net>


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