Commit 75c146285cf2aba0f58f8b6ed18adb28214c89af Parent efd950146cfbebdc9c7e91f911105f64c65c1efd Author Pablo <pablo-escobar@riseup.net> Date Thu, 16 Jun 2022 21:02:10 +0000 Clarified what the .tikz files are in the usage section of the website