Add boot menu key animation (#10649)

Let's not put it in tails.git but I'm not sure it's worth creating another repo for it.

Add boot menu key animation (#10649)
Let's not put it in tails.git but I'm not sure it's worth creating another repo for it.
5fa5bec3 · sajolida · 83e16dc7 · 5fa5bec3
Commit 5fa5bec3 authored Jun 13, 2019 by sajolida
Hide whitespace changes
Inline Side-by-side

Showing with 0 additions and 0 deletions

install/inc/videos/boot-menu-key.webm install/inc/videos/boot-menu-key.webm +0 -0

No files found.
--- a/install/inc/videos/boot-menu-key.webm
+++ b/install/inc/videos/boot-menu-key.webm