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/provision/roles/common/files/etc/apt/apt.conf.d/

.. drwxr-xr-x
99recommends 30 -rw-r--r-- file | revisions | annotate