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 25 Apr 2024 - 23.77 kBWorks with firefox 48.0 and later, android 48.0 to 68.*Source code released under GNU General Public Licence v3.0 only
Older versions
Version 1.3
Released 23 Nov 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 Licence v3.0 only
Version 1.2
Released 6 Nov 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 Licence v3.0 only
Version 1.1
Released 3 Nov 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 Licence v3.0 only
Version 1.0
Released 23 Oct 2017 - 5.42 kBWorks with firefox 48.0 and later, android 48.0 to 68.*Source code released under GNU General Public Licence v3.0 only