Merge branch 'merge-GitHub-changes' into 'master'

Switch Whisker Logo Closes #215 See merge request se2/whisker/whisker-main!374
se2p · Oct 10, 2023 · b381dd2 · b381dd2
2 parents 2e8421e + b0e1248
commit b381dd2
Show file tree

Hide file tree

Showing 3 changed files with 0 additions and 0 deletions.
diff --git a/whisker-web/src/assets/bannerChildren.png b/whisker-web/src/assets/bannerChildren.png
diff --git a/whisker-web/src/assets/banner_slim.jpg → whisker-web/src/assets/whiskerHeader.jpg b/whisker-web/src/assets/banner_slim.jpg → whisker-web/src/assets/whiskerHeader.jpg
diff --git a/whisker-web/src/assets/whiskerHeader.png b/whisker-web/src/assets/whiskerHeader.png