From 2953d3ed301e09cc9d52796fcdc38d30e03f75a6 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Mon, 11 May 2020 19:19:01 -0700
Subject: [PATCH] ignore my shortcut

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 .gitignore | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.gitignore b/.gitignore
index 393c5a2a2..d7a093f85 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,4 +1,5 @@
 *~
+rebase.cmd
 *.pyc
 *.pyo
 # Ignore callgrind files