summaryrefslogtreecommitdiff
path: root/head
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 /head
downloadcrux-ports-14a8f5d3c7889f2046a008b1b1dc29f485ebb359.tar.xz
initial commit
Diffstat (limited to 'head')
-rw-r--r--head1
1 files changed, 1 insertions, 0 deletions
diff --git a/head b/head
new file mode 100644
index 0000000..0880311
--- /dev/null
+++ b/head
@@ -0,0 +1 @@
+Copy <a href="deepthought.httpup">the httpup-file</a> and <a href="deepthought.pub">my public key</a> to /etc/ports to include this repository.