From d57c25ef0a400b5ab0d5b04bb5c5506f103af633 Mon Sep 17 00:00:00 2001 From: Dmitrii V Pasechnik Date: Wed, 7 Feb 2001 15:35:15 +0000 Subject: [PATCH] minor changes in submission stuff --- Old_Packages/Stl_port/maintainer | 1 + Old_Packages/Stl_port/submission_info | 2 -- 2 files changed, 1 insertion(+), 2 deletions(-) create mode 100644 Old_Packages/Stl_port/maintainer delete mode 100644 Old_Packages/Stl_port/submission_info diff --git a/Old_Packages/Stl_port/maintainer b/Old_Packages/Stl_port/maintainer new file mode 100644 index 00000000000..9caf58fc58b --- /dev/null +++ b/Old_Packages/Stl_port/maintainer @@ -0,0 +1 @@ +Dima Pasechnik diff --git a/Old_Packages/Stl_port/submission_info b/Old_Packages/Stl_port/submission_info deleted file mode 100644 index 14e8a79f861..00000000000 --- a/Old_Packages/Stl_port/submission_info +++ /dev/null @@ -1,2 +0,0 @@ -Submitted by: dima@cs.uu.nl. -URL: http://www.cs.uu.nl/people/dima/CGAL/packages/Stl_port.tar.gz.