Merge pull request #156148 from bwbohl/fix/tiptoi-manager

This commit is contained in:
Justin Krehel
2023-09-26 14:54:48 -04:00
committed by GitHub
+1 -1
View File
@@ -2,7 +2,7 @@ cask "tiptoi-manager" do
version "5.1"
sha256 :no_check
url "https://www.ravensburger.de/db/Installer/tiptoi_Manager_Installer.pkg"
url "https://cdn.ravensburger.de/db/Installer/tiptoi_Manager_Installer.pkg"
name "tiptoi Manager"
desc "Manage the data on children's Ravensburger tip toi audio pen"
homepage "https://www.ravensburger.de/entdecken/ravensburger-marken/tiptoi/tiptoi-manager/index.html"