Carmelo Cascone 31d3e44192 Better handling of extensions in PiPipeconf ...

Now built using a URL, while input streams are generated on-demand.
Before it could happen that the input stream was completelly read by
someone, leaving it unusable by others.

Change-Id: I61a76bf8b8c1d2f6e2d987661025e0323d59e1c7

2017-07-19 19:17:15 +00:00

..

src

Better handling of extensions in PiPipeconf

2017-07-19 19:17:15 +00:00

BUCK

getting javadoc to build

2016-10-12 14:53:27 -07:00

pom.xml

Fix SNAPSHOT version string

2017-06-28 16:36:27 +00:00