# HG changeset patch # User HackEso # Date 1625414320 -3600 # Node ID d8348aaa9a266b394087982707124181477ac60c # Parent e9b6a967321b0e5ab5eca9b89e4b0c11d8165718 le/rn prefixes//Bot prefixes: fungot ^, HackEso `, EgoBot !, lambdabot @ or ? or > , thutubot +, metasepia ~, idris-bot ( , jconn ) , j-bot [ , bfbot =, velik \\. diff -r e9b6a967321b -r d8348aaa9a26 wisdom/prefixes --- a/wisdom/prefixes Sun Jul 04 16:54:40 2021 +0100 +++ b/wisdom/prefixes Sun Jul 04 16:58:40 2021 +0100 @@ -1,1 +1,1 @@ -Bot prefixes: fungot ^, HackEso `, EgoBot !, lambdabot @ or ?, thutubot +, metasepia ~, idris-bot ( , jconn ) , j-bot [ , bfbot =, velik \. +Bot prefixes: fungot ^, HackEso `, EgoBot !, lambdabot @ or ? or > , thutubot +, metasepia ~, idris-bot ( , jconn ) , j-bot [ , bfbot =, velik \.