From 2ff256cbb76bf669ddc8860108bd9b24b8d2051a Mon Sep 17 00:00:00 2001
From: gabrielhdt <gabrielhondet@gmail.com>
Date: Sun, 17 May 2020 17:09:48 +0200
Subject: [PATCH] lpo ignoring

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

diff --git a/.gitignore b/.gitignore
index ee3593b..e51be4e 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,4 +1,3 @@
-# Ignore generated top files
-top.lp
+*.lpo
 log-lp.txt
 log-lsp.txt
-- 
GitLab