# HG changeset patch
# User HackBot
# Date 1455406261 0
# Node ID 545fd7099caf138bbfc19ffe0ae1f03397c9d003
# Parent  0ef2e2f974c55bffbcd5fea8eea5497e534b3970
<zgrep> le/rn type system/type system = kitten

diff -r 0ef2e2f974c5 -r 545fd7099caf wisdom/type system
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/wisdom/type system	Sat Feb 13 23:31:01 2016 +0000
@@ -0,0 +1,1 @@
+type system = kitten