Skip to content

shortcut #13

Merged
merged 1 commit into from
Oct 2, 2019
Merged

shortcut #13

merged 1 commit into from
Oct 2, 2019

Commits on Sep 28, 2019

  1. shortcut

    shortcut for reloading the page
    charle44 committed Sep 28, 2019
    Configuration menu
    Copy the full SHA
    ddc5667 View commit details
    Browse the repository at this point in the history