From fb16c7e87fb53bec6750c7458cde027790cea615 Mon Sep 17 00:00:00 2001 From: Yegor Bugayenko Date: Sun, 17 Mar 2024 16:37:01 +0300 Subject: [PATCH] #1 ping --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index cc2f0cb..5fefb51 100644 --- a/Makefile +++ b/Makefile @@ -24,4 +24,4 @@ test: docker run --rm -v "$$(pwd):/w" $$(docker build -q .) clean: - rm -f *.dvi *.pdf *.fls *.aux *.fdb_latexmk *.log \ No newline at end of file + rm -f *.dvi *.pdf *.fls *.aux *.fdb_latexmk *.log