From 99fe645fe1778f94f783b3e9da9d531136629980 Mon Sep 17 00:00:00 2001 From: Jakob Odersky Date: Wed, 11 Jan 2017 19:28:32 -0800 Subject: Update website --- _includes/header.html | 3 --- openpgp/index.html | 14 -------------- projects/index.html | 8 ++++++-- 3 files changed, 6 insertions(+), 19 deletions(-) delete mode 100644 openpgp/index.html diff --git a/_includes/header.html b/_includes/header.html index 3217175..a5fde6e 100644 --- a/_includes/header.html +++ b/_includes/header.html @@ -22,9 +22,6 @@ -
  • - OpenPGP -