Mercurial > libervia-backend
diff sat_frontends/quick_frontend/quick_list_manager.py @ 3690:1680eec4cbfd
docker: use `@` instead of `tip` for dev images:
`tip` links to most recent commit which may be on an other bookmark than the main one.
By using `@`, we're sure that the main bookmark is used.
author | Goffi <goffi@goffi.org> |
---|---|
date | Wed, 20 Oct 2021 17:23:22 +0200 |
parents | 559a625a236b |
children |