David Pilato b65373b7a1 Use new release tool for elasticsearch plugins ... See https://github.com/elasticsearch/elasticsearch-plugins-script		2014-08-05 13:53:17 +02:00
..
release.py	Use new release tool for elasticsearch plugins	2014-08-05 13:53:17 +02:00