Brian Gough ad19fee667 add setting so that double flush is the default 7 jaren geleden
..
settings.defaults.coffee ad19fee667 add setting so that double flush is the default 7 jaren geleden