Digitalstadt Darmstadt version history - 5 versions
Digitalstadt Darmstadt by Marco
Digitalstadt Darmstadt version history - 5 versions
Be careful with old versions! These versions are displayed for testing and reference purposes.You should always use the latest version of an add-on.
Latest version
Version 1.4resigned1
Released Apr 25, 2024 - 23.77 KBWorks with firefox 48.0 and later, android 48.0 to 68.*Source code released under GNU General Public License v3.0 only
Download Firefox and get the extensionYou'll need Firefox to use this extensionOlder versions
Version 1.3
Released Nov 23, 2017 - 20.34 KBWorks with firefox 48.0 and later, android 48.0 to 68.*Add support for 'Wissenschaftsstadt Darmstadt'Source code released under GNU General Public License v3.0 only
Version 1.2
Released Nov 6, 2017 - 20.31 KBWorks with firefox 48.0 and later, android 48.0 to 68.*Fix a bug where lowercase matches of 'darmstadt' will be replaced by 'undefined'.Source code released under GNU General Public License v3.0 only
Version 1.1
Released Nov 3, 2017 - 19.99 KBWorks with firefox 48.0 and later, android 48.0 to 68.*Fix a bug where Darmstadt was sometimes replaced twice resulting in 'Digitalstadt Digitalstadt Darmstadt Darmstadt'.Source code released under GNU General Public License v3.0 only
Version 1.0
Released Oct 23, 2017 - 5.42 KBWorks with firefox 48.0 and later, android 48.0 to 68.*Source code released under GNU General Public License v3.0 only