-
- Downloads
Oh my git
parents
Branches
No related tags found
Showing
- .gitignore 262 additions, 0 deletions.gitignore
- Makefile 33 additions, 0 deletionsMakefile
- figures/logos/Bitbucket.png 0 additions, 0 deletionsfigures/logos/Bitbucket.png
- figures/logos/Codeberg.png 0 additions, 0 deletionsfigures/logos/Codeberg.png
- figures/logos/GitHub.png 0 additions, 0 deletionsfigures/logos/GitHub.png
- figures/logos/GitLab.png 0 additions, 0 deletionsfigures/logos/GitLab.png
- figures/logos/Gitea.png 0 additions, 0 deletionsfigures/logos/Gitea.png
- figures/logos/SourceHut.png 0 additions, 0 deletionsfigures/logos/SourceHut.png
- presi.bib 0 additions, 0 deletionspresi.bib
- presi.tex 609 additions, 0 deletionspresi.tex
- shell.nix 32 additions, 0 deletionsshell.nix
- tikzfig.sty 51 additions, 0 deletionstikzfig.sty
.gitignore
0 → 100644
Makefile
0 → 100755
figures/logos/Bitbucket.png
0 → 100644
69.5 KiB
figures/logos/Codeberg.png
0 → 100644
34.9 KiB
figures/logos/GitHub.png
0 → 100644
16.6 KiB
figures/logos/GitLab.png
0 → 100644
43.9 KiB
figures/logos/Gitea.png
0 → 100644
22.5 KiB
figures/logos/SourceHut.png
0 → 100644
15.2 KiB
presi.bib
0 → 100644
presi.tex
0 → 100644
shell.nix
0 → 100644
tikzfig.sty
0 → 100644