mirror of
https://github.com/spatie/dnsrecords.io.git
synced 2026-04-27 08:25:57 +03:00
[PR #32] [MERGED] Add bookmarklet instructions #41
Labels
No labels
bug
good first issue
help wanted
pull-request
No milestone
No project
No assignees
1 participant
Notifications
Due date
No due date set.
Dependencies
No dependencies set.
Reference
starred/dnsrecords.io#41
Loading…
Add table
Add a link
Reference in a new issue
No description provided.
Delete branch "%!s()"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
📋 Pull Request Information
Original PR: https://github.com/spatie/dnsrecords.io/pull/32
Author: @willemvb
Created: 11/1/2017
Status: ✅ Merged
Merged: 11/1/2017
Merged by: @freekmurze
Base:
master← Head:feature-bookmarklet📝 Commits (1)
5374510Add bookmarklet instructions📊 Changes
3 files changed (+9 additions, -1 deletions)
View changed files
📝
app/Services/Commands/Commands/Manual.php(+1 -0)➕
resources/assets/css/components/bookmarklet.css(+7 -0)📝
resources/views/home/index.blade.php(+1 -1)📄 Description
helpstuck?made me look twice on what to type exactly.🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.