##// END OF EJS Templates
notifications: replace toggle button with actual toggle element - fixes #4171
notifications: replace toggle button with actual toggle element - fixes #4171
ergo -
r692:cea437a2 default
Show More
Name Size Modified Last Commit Author
/ docs / nix
add-to-env.rst Loading ...
default-env.rst Loading ...
nix.rst Loading ...