comparison sat_frontends/quick_frontend/quick_games.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 be6d91572633
children 524856bd7b19
comparison
equal deleted inserted replaced
3689:f25442794e11 3690:1680eec4cbfd