mirror of
https://github.com/spatie/dnsrecords.io.git
synced 2026-04-27 08:25:57 +03:00
[PR #13] [CLOSED] Precedent input when typing ↑ #29
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#29
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/13
Author: @rchoffardet
Created: 10/27/2017
Status: ❌ Closed
Base:
master← Head:master📝 Commits (7)
9a2c0da✨ add history feature50fb29fMerge branch 'master' into master121192fMerge branch 'master' into master9b39948📝 merge submit eventab9e981📝 remove else keyword by making use of early return162dc2a📝 end file with a newline04e63c0✨ add limit to history (1000 elements max)📊 Changes
2 files changed (+61 additions, -1 deletions)
View changed files
➕
resources/assets/js/History.js(+44 -0)📝
resources/assets/js/app.js(+17 -1)📄 Description
As suggested here #5 , here is the PR :)
🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.