this is for holding javascript data
Konstantin Stadler edited DB_desc_header.tex
about 9 years ago
Commit id: dea7857c1181147e34a37f47676bb497ba7a9aff
deletions | additions
diff --git a/DB_desc_header.tex b/DB_desc_header.tex
index 524d6ac..761a84d 100644
--- a/DB_desc_header.tex
+++ b/DB_desc_header.tex
...
\section{Database description} \section{Development}
