Revision 5a68d714b4e68c83066fa2879b4e79edf6475abd

Committed on 22/05/2017 7:33 am by Jérôme Vieilledent <lolautruche@gmail.com> [GitHub Diff]

#22 Renamed "$settings" to "$options"