projects / factor.git / commit
| author | John Benediktsson <mrjbq7@gmail.com> | |
| Wed, 10 Aug 2022 21:55:00 +0000 (14:55 -0700) | ||
| committer | John Benediktsson <mrjbq7@gmail.com> | |
| Wed, 10 Aug 2022 21:55:19 +0000 (14:55 -0700) | ||
| commit | 343b55287be590fdf59d0a532291937b1635dd2c | |
| tree | 5e8344e6a7cd8f87ded542a1ea060ad8a5d5b627 | tree | snapshot |
| parent | 83edaae835d9cb16ac469d2c2e3181e3e3e663ac | commit | diff |
| basis/ui/theme/switching/tools/tools.factor | diff | blob | history |