diff options
author | Johannes Schindelin <johannes.schindelin@gmail.com> | 2019-06-25 10:00:41 +0200 |
---|---|---|
committer | Johannes Schindelin <johannes.schindelin@gmx.de> | 2019-06-25 10:24:44 +0200 |
commit | b2706a05bb280579bcd94fb733a212f2ae044a80 (patch) | |
tree | 2e9ff8331d48e37782aa6a1e270ea7a5eb34a07e /docs/dynsections.js | |
parent | c6c1d5fffd0cf8dcb2ab969cde8fd170af44fdef (diff) |
Set up CI with Azure Pipelines
This sets up an Azure Pipeline to build the library, publishing
the artifacts for convenience.
Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
Diffstat (limited to 'docs/dynsections.js')
0 files changed, 0 insertions, 0 deletions