diff options
| author | William Hubbs <w.d.hubbs@gmail.com> | 2018-05-22 11:08:35 -0500 |
|---|---|---|
| committer | William Hubbs <w.d.hubbs@gmail.com> | 2018-05-22 12:20:38 -0500 |
| commit | 0f4fa41574a4ebf8117493e5411f8ab522010467 (patch) | |
| tree | 41fe9d780d1242a60f1bfbaa616a937c6a5943a5 /src/rc/.gitignore | |
| parent | 5d6dd97bba3559b57fb1c1de35e644c6dbd6baa7 (diff) | |
Add mark_service_crashed binary
Diffstat (limited to 'src/rc/.gitignore')
| -rw-r--r-- | src/rc/.gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/rc/.gitignore b/src/rc/.gitignore index 91d57075..a43088aa 100644 --- a/src/rc/.gitignore +++ b/src/rc/.gitignore @@ -56,6 +56,7 @@ mark_service_inactive mark_service_wasinactive mark_service_hotplugged mark_service_failed +mark_service_crashed rc-abort rc openrc |