8 commits

Author	SHA1	Message	Date
nig	d0c95ee63b	[maintenance] upgrade mithril.js to v2.2.2 ... close #4245	2022-07-07 13:53:49 +02:00
ivk	78dadcf131	Update mithril, get rid of NavButton	2019-08-16 16:25:01 +02:00
ivk	17bed149b4	Revert accidential stream update^	2019-04-24 12:41:34 +02:00
ivk	ee0cea5395	Update Autolinker to 3.0.5	2019-04-24 11:06:15 +02:00
ivk	21d9dc34c2	Fix duplicated results in search, update mithril to 2.0.0-rc.4	2019-03-05 12:14:13 +01:00
mpfau	e23dd9f8b9	updated mithril to v2.0.0-rc.3 because of removed nodes stay in the dom in 1.1.6 under certain conditions. ... This was fixed by https://github.com/MithrilJS/mithril.js/issues/2024 See also https://github.com/MithrilJS/mithril.js/issues/2105	2019-01-17 09:50:05 +01:00
mpfau	87e9a235ef	updated mithril to 1.1.4	2017-09-27 10:59:56 +02:00
mpfau	ea1c1ef1c7	imported new tutanota client	2017-08-15 13:54:22 +02:00