Franciszek Stachura f5f49b6b39 Quick fix for searching identifiers with commas ... Fixes #309, both manual search and display in search bar.		2024-08-02 13:43:14 +02:00
..
error.html	Generate pretty HTML for more errors	2024-07-31 11:33:53 +02:00
header.html	Update default HTML banner	2022-11-23 14:56:39 +01:00
ident.html	Quick fix for searching identifiers with commas	2024-08-02 13:43:14 +02:00
layout.html	Move title generation to templates	2024-07-30 15:16:11 +02:00
sidebar.html	Generate pretty HTML for more errors	2024-07-31 11:33:53 +02:00
source.html	Move title generation to templates	2024-07-30 15:16:11 +02:00
topbar.html	Quick fix for searching identifiers with commas	2024-08-02 13:43:14 +02:00
tree.html	Make full width of directory entry in tree template clickable	2024-07-31 11:33:49 +02:00