# HG changeset patch # User HackEso # Date 1540473444 0 # Node ID 2cf2920c480d94b65be6f5efb8d80a53ca549caa # Parent 6ee86ba3b54c963f460bfc77f52601c2aaa8be56 ` rm wisdom/utf8; ln wisdom/{utf-8,utf8} diff -r 6ee86ba3b54c -r 2cf2920c480d wisdom/utf8 --- a/wisdom/utf8 Thu Oct 25 13:16:41 2018 +0000 +++ b/wisdom/utf8 Thu Oct 25 13:17:24 2018 +0000 @@ -1,1 +1,1 @@ -wisdom/utf-8 \ No newline at end of file +utf-8 is an encoding for humans to tell the time in symbolic processing programs.