From 5c3900efadec6ef0e1e6ca4a374222b7ec4f8849 Mon Sep 17 00:00:00 2001 From: Nathan Marley Date: Thu, 23 Aug 2018 13:01:30 -0700 Subject: [PATCH] remove assigned DIP numbers from header These fields are used in the pre-publish state, but are redundant for published DIPs which have already been assigned a DIP number. As an example, DIP1 does not have this field. --- dip-0002.md | 1 - dip-0003.md | 1 - dip-0004.md | 1 - 3 files changed, 3 deletions(-) diff --git a/dip-0002.md b/dip-0002.md index 3117397..a56a98a 100644 --- a/dip-0002.md +++ b/dip-0002.md @@ -5,7 +5,6 @@ Comments-Summary: No comments yet. Status: Proposed Type: Standard - Assigned DIP#: 0002 Created: 2018-04-30 License: MIT License diff --git a/dip-0003.md b/dip-0003.md index 270a405..b3a3a33 100644 --- a/dip-0003.md +++ b/dip-0003.md @@ -5,7 +5,6 @@ Comments-Summary: No comments yet. Status: Proposed Type: Standard - Assigned DIP#: 0003 Created: 2018-04-30 License: MIT License diff --git a/dip-0004.md b/dip-0004.md index 3dca155..15d65f3 100644 --- a/dip-0004.md +++ b/dip-0004.md @@ -5,7 +5,6 @@ Comments-Summary: No comments yet. Status: Proposed Type: Standard - Assigned DIP#: 0004 Created: 2018-04-30 License: MIT License