summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorLennart Poettering <lennart@poettering.net>2014-06-19 13:46:01 +0200
committerLennart Poettering <lennart@poettering.net>2014-06-19 13:46:01 +0200
commitf4bab1690ebb7bb01ea2d89f92bffd26c04b61ee (patch)
tree8a25cc75a0ab867f7cbeba2ab93663dbd2651ad4 /.gitignore
parent92788e46d63e03c64146d90140599dbabf39627f (diff)
coredump: coredumpctl is so useful now, make it a first-class citizen
Drop the "systemd-" prefix, renaming it from "systemd-coredumpctl" to "coredumpctl".
Diffstat (limited to '.gitignore')
-rw-r--r--.gitignore2
1 files changed, 1 insertions, 1 deletions
diff --git a/.gitignore b/.gitignore
index 97cefb514a..66fa09dc52 100644
--- a/.gitignore
+++ b/.gitignore
@@ -25,6 +25,7 @@
/busctl
/cdrom_id
/collect
+/coredumpctl
/coverage/
/defined
/exported
@@ -56,7 +57,6 @@
/systemd-cgroups-agent
/systemd-cgtop
/systemd-coredump
-/systemd-coredumpctl
/systemd-cryptsetup
/systemd-cryptsetup-generator
/systemd-dbus1-generator