From 6f56c85550ff04ba6ca59273a6de37dadf8f9fd0 Mon Sep 17 00:00:00 2001
From: kalmarek <kalmar@amu.edu.pl>
Date: Wed, 3 Apr 2019 18:45:27 +0200
Subject: [PATCH] don't store deved packages in Manifest

---
 Manifest.toml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/Manifest.toml b/Manifest.toml
index bc153c9..f7fe5c8 100644
--- a/Manifest.toml
+++ b/Manifest.toml
@@ -282,7 +282,9 @@ uuid = "9abbd945-dff8-562f-b5e8-e1ebf5ef1b79"
 
 [[PropertyT]]
 deps = ["AbstractAlgebra", "Dates", "GroupRings", "Groups", "IntervalArithmetic", "JLD", "JuMP", "LinearAlgebra", "Markdown", "MathProgBase", "Nemo", "Printf", "SparseArrays"]
-path = "/home/kalmar/.julia/dev/PropertyT"
+git-tree-sha1 = "1307df01fc484b44fd24328f30304912ebd9bf2a"
+repo-rev = "master"
+repo-url = "https://github.com/kalmarek/PropertyT.jl"
 uuid = "03b72c93-0167-51e2-8a1e-eb4ff1fb940d"
 version = "0.2.0"