diff options
| author | Oskar Vigren <oskar@vig.ren> | 2019-12-10 15:34:53 +0100 |
|---|---|---|
| committer | Oskar Vigren <oskar@vig.ren> | 2019-12-10 15:34:53 +0100 |
| commit | 52efe6eebf3ba1dd3aa3d5348777c6a233ef1470 (patch) | |
| tree | b6dea2d44c8c55c3d8b12f2be7b7a2afe53b78f9 /static/css/bootstrap-theme.css | |
| parent | d9e5eab7e8a8d538b9eaeb242fc9774b39f7e0bd (diff) | |
[create-a-wiki] Fix silly problem with kill server commandov/create-wiki-preview
The command now matches start of process name. This will prevent killing other
things than the server, e.g. make when it executes the command.
Diffstat (limited to 'static/css/bootstrap-theme.css')
0 files changed, 0 insertions, 0 deletions