This repository has been archived on 2022-07-28. You can view files and clone it, but cannot push or open issues or pull requests.

Joshua Ramon Enslin 2ae4196546 Added search bar to header.		2018-06-15 23:41:25 +02:00
..
functions.php	Added interpreter for pseudocode for displaying exhibitions, events.	2018-06-15 11:26:25 +02:00
mdEmbeds.php	Added search bar to header.	2018-06-15 23:41:25 +02:00
search.php	Added basic support of search for objects.	2018-06-15 13:31:31 +02:00
standardHTML.php	Added search bar to header.	2018-06-15 23:41:25 +02:00