FF is an extension now, greasemonkey isn't officially supported for dreditor any longer. However for development purposes, we may have to. Let me think on this some more. 

Typos courtesy of Siri

> On Dec 11, 2013, at 3:11 AM, Clemens Tolboom <notifications@github.com> wrote:
> 
> In CONTRIBUTING.md:
> 
> > @@ -60,7 +62,11 @@ More information coming soon.
> >  
> >  ### Firefox
> >  
> > -(to be defined)
> > +(quick and dirty)
> > +
> > +1. Check the current Dreditor greasemonkey location (about:addons)
> > +2. Right click Dreditor for install location
> > +3. Replace dreditor.user.js with a symlink to your development versions grunt build artifact `ln -s path-to-dreditor-dir/build/dreditor.js dreditor.user.js`
> As we take an installed plugin version of Dreditor as a starting point the gm_scripts/config.xml refers to dreditor.user.js that why I wrote that symlink.
> 
> I haven't tested dreditor.js. @markcarver did you?
> 
> —
> Reply to this email directly or view it on GitHub.