Fork from 2022 nextcloud repo

Beautiful and accessible math in all browsers

Official electron build of draw.io

The 2018 server-side PNG/PDF export implementation using Node, Puppeteer and Chrome headless

Various tools for draw.io

The JGraph 5 legacy code