summaryrefslogtreecommitdiff
path: root/deepthought.pub
diff options
context:
space:
mode:
authorErich Eckner <git@eckner.net>2018-05-27 10:13:52 +0200
committerErich Eckner <git@eckner.net>2018-05-27 10:13:52 +0200
commit14a8f5d3c7889f2046a008b1b1dc29f485ebb359 (patch)
tree644ebb60f7155dd5c139d233857684fbcd8546e6 /deepthought.pub
downloadcrux-ports-14a8f5d3c7889f2046a008b1b1dc29f485ebb359.tar.xz
initial commit
Diffstat (limited to 'deepthought.pub')
-rw-r--r--deepthought.pub2
1 files changed, 2 insertions, 0 deletions
diff --git a/deepthought.pub b/deepthought.pub
new file mode 100644
index 0000000..4ad1152
--- /dev/null
+++ b/deepthought.pub
@@ -0,0 +1,2 @@
+untrusted comment: deepthought public key
+RWQxCptPusLGGhty8f34d9gQktoFFkK97A6PmRqluLVq6NQTHPMKEIKr