- Aug 20, 2016
-
-
Vasili Gulevich authored
Conflicts: github.user.js
-
Vasili Gulevich authored
Issue #2
-
- Jul 13, 2016
-
-
jurgenhaas authoredPublish version 1.6 See merge request !1
-
jurgenhaas authored
#3 Load script on whole github.com domain so that it is present even if navigating to an issue later
-
- Jul 09, 2016
-
-
Vasili Gulevich authored
Issue #2
-
- Jun 30, 2016
-
-
Vasili Gulevich authored
Issue #2
-
- May 18, 2016
-
-
jurgenhaas authored
-
- Nov 13, 2015
-
-
jurgenhaas authored
-
jurgenhaas authored
Tagging version v1.5 v1.5
-
jurgenhaas authored
-
jurgenhaas authored
-
jurgenhaas authored
-
- Nov 12, 2015
-
-
jurgenhaas authored
-
jurgenhaas authored
-
jurgenhaas authored
-
jurgenhaas authored
-
jurgenhaas authored
-
