# HG changeset patch # User Christian Urban # Date 1708610172 0 # Node ID 1835bf2e2bc22c8cd457f1862244fd0fe26c35fd # Parent ebd1ed4032b51196bb8ee84308ffb9c89a21c695 test diff -r ebd1ed4032b5 -r 1835bf2e2bc2 Publications/bitcoded-itp.pdf Binary file Publications/bitcoded-itp.pdf has changed diff -r ebd1ed4032b5 -r 1835bf2e2bc2 travelling.html --- a/travelling.html Sun Aug 27 11:28:23 2023 +0200 +++ b/travelling.html Thu Feb 22 13:56:12 2024 +0000 @@ -73,7 +73,7 @@

Old

2019