Phil Hughes af79397f37 Remove IDE option from user preferences		2018-01-15 10:20:55 +00:00
..
show.html.haml	Remove IDE option from user preferences	2018-01-15 10:20:55 +00:00
update.js.erb