From dce2f5713533d46f840c9f380231f1a188999f1a Mon Sep 17 00:00:00 2001 From: Stefan Kebekus Date: Thu, 5 Dec 2024 13:43:58 +0100 Subject: [PATCH] Move unused files to junk --- Nevanlinna/{ => junk}/holomorphic_JensenFormula.lean | 0 Nevanlinna/{ => junk}/stronglyMeromorphic_JensenFormula_1.lean | 0 2 files changed, 0 insertions(+), 0 deletions(-) rename Nevanlinna/{ => junk}/holomorphic_JensenFormula.lean (100%) rename Nevanlinna/{ => junk}/stronglyMeromorphic_JensenFormula_1.lean (100%) diff --git a/Nevanlinna/holomorphic_JensenFormula.lean b/Nevanlinna/junk/holomorphic_JensenFormula.lean similarity index 100% rename from Nevanlinna/holomorphic_JensenFormula.lean rename to Nevanlinna/junk/holomorphic_JensenFormula.lean diff --git a/Nevanlinna/stronglyMeromorphic_JensenFormula_1.lean b/Nevanlinna/junk/stronglyMeromorphic_JensenFormula_1.lean similarity index 100% rename from Nevanlinna/stronglyMeromorphic_JensenFormula_1.lean rename to Nevanlinna/junk/stronglyMeromorphic_JensenFormula_1.lean