Improve animation when changing tab
authorBenjamin Auder <benjamin.auder@somewhere>
Sun, 14 Nov 2021 22:27:56 +0000 (23:27 +0100)
committerBenjamin Auder <benjamin.auder@somewhere>
Sun, 14 Nov 2021 22:27:56 +0000 (23:27 +0100)
commite081c5ebaa788f22c57ee36b73ab7ed57ca7a562
treeeba002f171e303f76947a7a90488872957c411b1
parent67c5c19892b8bf3d851c4b7f4fcb1514b8491091
Improve animation when changing tab
base_rules.js