This website requires JavaScript.
Explore
Help
Sign In
ddmt
/
gitdts
Watch
1
Star
0
Fork
0
You've already forked gitdts
Code
Issues
Pull Requests
Actions
Packages
Projects
Releases
Wiki
Activity
Files
8a51c48eb6367513e0518bcd412e64f6cbfe5e1a
gitdts
/
web_src
/
less
/
themes
History
Lauris BH
47b1fc5149
Fix merge section in dark theme (
#12086
) (
#12109
)
...
Backport
#12086
* Fix merge section in dark theme * Fix lint
2020-07-02 10:36:45 +01:00
..
theme-arc-green.less
Fix merge section in dark theme (
#12086
) (
#12109
)
2020-07-02 10:36:45 +01:00