commit 32d22cf94407f114061cd1c9200d86d054307c59 Author: gus <gus@torproject.org> Date: Fri Apr 3 00:03:24 2020 -0400 Remove isra --- content/about/people/isra/contents.lr | 15 --------------- 1 file changed, 15 deletions(-) diff --git a/content/about/people/isra/contents.lr b/content/about/people/isra/contents.lr deleted file mode 100644 index e032204a..00000000 --- a/content/about/people/isra/contents.lr +++ /dev/null @@ -1,15 +0,0 @@ -_model: person ---- -_hidden: yes ---- -role:core ---- -name: isra ---- -nickname: isra ---- -gpg: https://db.torproject.org/fetchkey.cgi?fingerprint=53927C25AAF14FBBCAFABDA3A... ---- -description: - -Rewrote the [GetTor](https://gettor.torproject.org/) service.