{"shas":[["a4967984aebd35807ce5187f4d43d4a0ded094a5","de9b8d32d21ac4abee992cab0591365746b5103f@thivent.name","Added useful maven bash functions.\n\nAdded some functions allowing to switch easily between Maven versions on\nthe command line. Use:\n\n - listMaven\n - setMaven <version>","Pascal Thivent"]],"ref":"refs/heads/master","push_id":20518525,"head":"a4967984aebd35807ce5187f4d43d4a0ded094a5","size":1}