ui.theme.switching.tools: switch breakpoint symbol
authorJohn Benediktsson <mrjbq7@gmail.com>
Wed, 10 Aug 2022 21:55:00 +0000 (14:55 -0700)
committerJohn Benediktsson <mrjbq7@gmail.com>
Wed, 10 Aug 2022 21:55:19 +0000 (14:55 -0700)
commit343b55287be590fdf59d0a532291937b1635dd2c
tree5e8344e6a7cd8f87ded542a1ea060ad8a5d5b627
parent83edaae835d9cb16ac469d2c2e3181e3e3e663ac
ui.theme.switching.tools: switch breakpoint symbol
basis/ui/theme/switching/tools/tools.factor