Skip to content

Commit

Permalink
update
Browse files Browse the repository at this point in the history
  • Loading branch information
@tortinator
tortinator committed Nov 22, 2023
1 parent 1dd4a52 commit 9470919
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion include/systems
Submodule systems updated 3 files
+3 −3 eclingo.tex
+ − pictures/yale-goal.pdf
+223 −9 pictures/yale.svg

0 comments on commit 9470919

Please sign in to comment.