# HG changeset patch # User HackEso # Date 1625394810 -3600 # Node ID 804e1d3013a7d3b7d4c5cc125f5d135eb2485367 # Parent 31f88d116b0f776bf373e91ba420c5b70f85d9d8 learn prefixes Bot prefixes: fungot ^, HackEso `, EgoBot !, lambdabot @ or ? or >, thutubot +, metasepia ~, idris-bot ( , jconn ) , j-bot [ , bfbot =, velik \\. diff -r 31f88d116b0f -r 804e1d3013a7 wisdom/prefixe --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/wisdom/prefixe Sun Jul 04 11:33:30 2021 +0100 @@ -0,0 +1,1 @@ +prefixes Bot prefixes: fungot ^, HackEso `, EgoBot !, lambdabot @ or ? or >, thutubot +, metasepia ~, idris-bot ( , jconn ) , j-bot [ , bfbot =, velik \.