- Jul 13, 2016
-
-
jurgenhaas authored
Publish 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
-
- 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
-