github/dokka.git - Unnamed repository; edit this file 'description' to name the repository.

Age	Commit message (Expand)	Author
2020-10-01	Escape urls in anchors	Marcin Aman
2020-09-10	Mobile improvements for different screen resolutions	Marcin Aman
2020-09-10	Adding mobile-friendly layout	Błażej Kardyś
2020-08-10	Highlight anchor	Marcin Aman
2020-07-21	Allow anchors to redirect user without refresh (#1187)	Marcin Aman
2020-07-13	Single platform bubbles fix	Andrzej Ratajczak
2020-06-10	Ignore main.js and main.js.map	sebastian.sellmair
2020-06-10	Implement `reportUndocumented` option to report undocumented code	sebastian.sellmair
2020-06-09	Improve CSS, pages navigation tree and create anchors on page	Marcin Aman
2020-06-09	Changed anchors handling to work properly with tabs	Filip Zybała
2020-06-04	All modules page generation	Błażej Kardyś
2020-06-03	Added persistence in window scope for filtering and tabs state.	Filip Zybała
2020-05-28	Initially show only the default chosen tab body	Marcin Aman
2020-05-28	Added filtering to HTML pages	Filip Zybała
2020-05-22	Move remaining js files	Kamil Doległo
2020-05-21	Migrated resources to base-plugin	Filip Zybała