User contributions for Batrachocottus

12 March 2020

• 18:4718:47, 12 March 2020 diff hist −156‎ Wikipedia:Redirects for discussion/Log/2020 March 9 ‎ →‎Algorithmic design: disambiguation page as compromise? Now with signature.
• 18:3618:36, 12 March 2020 diff hist +405‎ Wikipedia:Redirects for discussion/Log/2020 March 9 ‎ →‎Algorithmic design: : disambiguation page as compromise?

7 March 2020

• 17:4917:49, 7 March 2020 diff hist +326‎ Wikipedia:Articles for creation/Redirects ‎No edit summary

16 February 2020

• 23:3723:37, 16 February 2020 diff hist −16‎ Iteration mark ‎ →‎Ditto mark: removed {{lang|ja|〃}} to avoid unnecessary duplication and potential confusion

15 February 2020

• 18:1318:13, 15 February 2020 diff hist −18‎ Alt code ‎ →‎See also: removed duplicate wikilink
• 18:1118:11, 15 February 2020 diff hist +18‎ Alt code ‎ Undid revision 940949022 by Batrachocottus (talk) Tag: Undo
• 17:3917:39, 15 February 2020 diff hist −18‎ Alt code ‎ removed duplicate wikilink from →‎See also: section