From: Jean Privat Date: Tue, 24 Feb 2015 03:59:58 +0000 (+0700) Subject: Merge: nitrpg: add nitrpg.user.js for enhanced user experience X-Git-Tag: v0.7.2~8 X-Git-Url: http://nitlanguage.org Merge: nitrpg: add nitrpg.user.js for enhanced user experience 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 Reviewed-by: Alexis Laferrière --- 2e9e26753d4a75af6d4dd931a0e68b77c389e47b