Skip to content
Snippets Groups Projects
Unverified Commit 263b7401 authored by fynngodau's avatar fynngodau Committed by GitHub
Browse files

Deduplicate and format technical HTML file (DEV) (closes #1757) (#1822) 


* Deduplicate technical.html #1757

* Format technical.html

Add br tags where necessary and reduce confusion by adding a horizontal
ruler in front of where the license texts start.

Co-authored-by: default avatarRalf Gehrer <ralfgehrer@users.noreply.github.com>
parent e8382c9e
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 75 additions and 748 deletions
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment