:wrench: git ignore TODO* [skipci]

author Jérémie Astor <astor.jeremie@wanadoo.fr>

Sun, 5 Apr 2020 16:22:43 +0000 (18:22 +0200)

committer Jérémie Astor <astor.jeremie@wanadoo.fr>

Sun, 5 Apr 2020 16:22:43 +0000 (18:22 +0200)
author Jérémie Astor <astor.jeremie@wanadoo.fr>
Sun, 5 Apr 2020 16:22:43 +0000 (18:22 +0200)
committer Jérémie Astor <astor.jeremie@wanadoo.fr>
Sun, 5 Apr 2020 16:22:43 +0000 (18:22 +0200)
diff --git a/.gitignore b/.gitignore

index 56bf4237f58328817cb039f2b1cf27a5fdc10550..79d41d63a624ae040db01466c15cc29c67b5637b 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -1,3 +1,4 @@
+TODO*
  gwion
  .d
  config.mk
author	Jérémie Astor <astor.jeremie@wanadoo.fr>
	Sun, 5 Apr 2020 16:22:43 +0000 (18:22 +0200)
committer	Jérémie Astor <astor.jeremie@wanadoo.fr>
	Sun, 5 Apr 2020 16:22:43 +0000 (18:22 +0200)