David Benqué f54e771d0f Update grey logo and use in empty Code and Slides		2021-02-09 21:08:19 +00:00
..
app-code.less	Fix link color in markdown preview	2021-02-08 11:06:36 +00:00
export.js	Fix issues of no file extension for pad export	2019-07-29 16:30:48 +02:00
index.html	Fix iframe URL caching	2021-01-27 13:55:25 +01:00
inner.html	Fix UI language	2020-11-04 11:22:31 +01:00
inner.js	Update grey logo and use in empty Code and Slides	2021-02-09 21:08:19 +00:00
markers.js	Fix XXX	2020-05-28 12:39:36 +02:00
mermaid-new.css	Update mermaid	2020-03-27 13:54:43 +01:00
mermaid.css	revert addition of underlines to some mermaid titles	2019-12-06 09:14:33 -05:00
mermaid.min.js	Update mermaid	2020-03-27 13:54:43 +01:00
orgmode.js	Make sure we don't initialize orgmode multiple times	2020-09-08 11:28:58 +02:00