boot: change branding for -devel

This commit is contained in:
Franco Fichtner 2016-10-03 19:23:46 +02:00
parent e0f9464e28
commit d65e385527

View File

@ -50,7 +50,7 @@
s" @@@@@@@@@@@@@@@@@@@@@@@@@@@@@@" logo+
s" @@@@@@@@@@@@@@@@@@@@@@@@@@@@ " logo+
s" #[m " logo+
s" 16.7 ``Dancing Dolphin'' #[m" logo+
s" 17.1 ``Insert Name Here'' #[m" logo+
2drop
;