Skip to content

Couple of UI additions

Matthias Käppler requested to merge github/fork/jackbot/master into master

Created by: jackbot

There's currently no way (outside of the API) to delete a snippet. Added a tooltip to the snippet icon to make it obvious what public/private state it is.

Merge request reports