{"shas":[["db882f3bce5146309dc301e7566ad170849e0c72","86ea65490d8306ab4914c5a31413fbef432e3f35@embl.de","area dynamics scale bar added, as a new command","Kota@mac"],["5bea1e8f72fc0fef628b32e29b9df8ce12bc6cc0","86ea65490d8306ab4914c5a31413fbef432e3f35@embl.de","git rm -r --chached . then git add . again, to redo gitignore","Kota@mac"]],"ref":"refs/heads/master","size":2,"head":"5bea1e8f72fc0fef628b32e29b9df8ce12bc6cc0","push_id":41735934}