{"shas":[["b30383369c74f3f6169fec6cd8fc1ea63f6a90e6","55ff2b0e24c81e30c2ce918adf6f4c613a70dba8@gmail.com","Tried to change theme but found out that it was a bad idea since some themes seems to be very buggy. Created some shortcut buttons for the sbt plugin.","Kjell Winblad"]],"ref":"refs/heads/master","size":1,"head":"b30383369c74f3f6169fec6cd8fc1ea63f6a90e6","push_id":32345558}