agenda/git-agenda: drop agenda

We never developed a Git course, and the presence of this agenda confuses some people. Signed-off-by: Thomas Petazzoni <[email protected]>
bootlin · Dec 20, 2023 · badffa9 · badffa9
1 parent c5c8d37
commit badffa9
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 144 deletions.
diff --git a/agenda/git-agenda.tex b/agenda/git-agenda.tex
diff --git a/agenda/git.inc b/agenda/git.inc