child 303:572cd24c2c2f
parent 301:2d95d63792f0
302:59923ed57ab1
Anton Shestakov <av6@dwimlabs.net>, Wed, 27 Jun 2018 23:06:14 +0800
pipelines: check `make libs` instead of `contrib/updatesri.sh` Also rm the latter because unused.

/contrib/

.. drwxr-xr-x
provision/ drwxr-xr-x files
Vagrantfile 671 -rw-r--r-- file | revisions | annotate