Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

remove useless js snippets of codes for "Edit On GitHub" #4867

Merged
merged 2 commits into from
Oct 9, 2022
Merged

remove useless js snippets of codes for "Edit On GitHub" #4867

merged 2 commits into from
Oct 9, 2022

Commits on Oct 9, 2022

  1. remove useless js snippets of codes for "Edit On GitHub"

    We don't need to implement it through the client side but serve side
    only by generating them together.
    
    Refs: #4315.
    SEWeiTung committed Oct 9, 2022
    Configuration menu
    Copy the full SHA
    9474533 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    61da5bf View commit details
    Browse the repository at this point in the history