From 2e69938492cd22d1452d4dcbaeab1490183f5d5a Mon Sep 17 00:00:00 2001 From: Boris Kolpackov Date: Mon, 10 Jan 2022 18:55:27 +0200 Subject: Migrate websocketpp ownership info to public remove owners/websocketpp/project-owner.manifest remove owners/websocketpp/websocketpp/package-owner.manifest --- owners/websocketpp/project-owner.manifest | 5 ----- owners/websocketpp/websocketpp/package-owner.manifest | 5 ----- 2 files changed, 10 deletions(-) delete mode 100644 owners/websocketpp/project-owner.manifest delete mode 100644 owners/websocketpp/websocketpp/package-owner.manifest (limited to 'owners') diff --git a/owners/websocketpp/project-owner.manifest b/owners/websocketpp/project-owner.manifest deleted file mode 100644 index 3b046e5..0000000 --- a/owners/websocketpp/project-owner.manifest +++ /dev/null @@ -1,5 +0,0 @@ -: 1 -name: websocketpp -author-name: Zach Hilman -author-email: me@zachhilman.net -control: https://github.com/Ultramarine-Holdings-LLC/ diff --git a/owners/websocketpp/websocketpp/package-owner.manifest b/owners/websocketpp/websocketpp/package-owner.manifest deleted file mode 100644 index 1b36dd5..0000000 --- a/owners/websocketpp/websocketpp/package-owner.manifest +++ /dev/null @@ -1,5 +0,0 @@ -: 1 -name: websocketpp -author-name: Zach Hilman -author-email: me@zachhilman.net -control: https://github.com/Ultramarine-Holdings-LLC/build2-websocketpp.git -- cgit v1.1