From 56a79af8e34423bb9a56d07541afe79c1d508cb1 Mon Sep 17 00:00:00 2001 From: Mohamed Barakat Date: Sun, 7 Jul 2019 12:46:29 +0200 Subject: [PATCH] updated .gitignore --- ToricVarieties/.gitignore | 1 + ToricVarieties/PackageInfo.g | 2 +- 2 files changed, 2 insertions(+), 1 deletion(-) diff --git a/ToricVarieties/.gitignore b/ToricVarieties/.gitignore index c505dc5cb..136b19777 100644 --- a/ToricVarieties/.gitignore +++ b/ToricVarieties/.gitignore @@ -43,6 +43,7 @@ doc/_Chapter_Toric_Varieties.xml doc/_Chapter_Toric_divisors.xml doc/_Chapter_Toric_morphisms.xml doc/_Chapter_Toric_subvarieties.xml +doc/_Chapter_Blowups_of_toric_varieties.xml doc/title.xml maketest.g doc/_Chunks.xml diff --git a/ToricVarieties/PackageInfo.g b/ToricVarieties/PackageInfo.g index 632af1236..90ffdf8a1 100644 --- a/ToricVarieties/PackageInfo.g +++ b/ToricVarieties/PackageInfo.g @@ -9,7 +9,7 @@ Version := Maximum( [ ## this line prevents merge conflicts "2019.07.01", ## Mohamed's version ## this line prevents merge conflicts - "2019.04.02", ## Martin's version + "2019.07.02", ## Martin's version ## this line prevents merge conflicts "2019.03.28", ## Kamal's version ## this line prevents merge conflicts