# HG changeset patch # User HackEso # Date 1621795843 0 # Node ID ac9e32d3cda75d8e41e4aae35eb568ad44439579 # Parent 4242a338678de6640f12ac6afe40d7da98cdf80c slwd prefixes//s=.$=, velik \\\\.= diff -r 4242a338678d -r ac9e32d3cda7 wisdom/prefixes --- a/wisdom/prefixes Fri May 21 17:53:24 2021 +0000 +++ b/wisdom/prefixes Sun May 23 18:50:43 2021 +0000 @@ -1,1 +1,1 @@ -Bot prefixes: fungot ^, HackEso `, EgoBot !, lambdabot @ or ?, thutubot +, metasepia ~, idris-bot ( , jconn ) , j-bot [ , bfbot =. +Bot prefixes: fungot ^, HackEso `, EgoBot !, lambdabot @ or ?, thutubot +, metasepia ~, idris-bot ( , jconn ) , j-bot [ , bfbot =, velik \.