Files
soci/scripts/ci
Vadim Zeitlin 48c0cd4e9c Rename before_install_*.sh to just install_*.sh
It doesn't make sense to call these scripts "before install" because
they do actually install things themselves.

In fact the whole separation into "install" and "before build" is
probably not very useful, but keep it as long as we keep using Travis CI
at all, as it maps better to its config file keys.

No real changes.
2021-03-19 03:02:41 +01:00
..