From 8c981aa407c2d5db55918487ac3dbb5009a95bb6 Mon Sep 17 00:00:00 2001
From: Gregor Kleen <gregor.kleen@ifi.lmu.de>
Date: Mon, 27 Sep 2021 11:00:31 +0200
Subject: [PATCH] chore(develop): ignore .develop.cmd

---
 .gitignore | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.gitignore b/.gitignore
index 9fff5192f..36bc7572f 100644
--- a/.gitignore
+++ b/.gitignore
@@ -50,3 +50,4 @@ tunnel.log
 .develop.env
 **/result
 **/result-*
+.develop.cmd
\ No newline at end of file