diff options
| author | 2019-11-06 21:54:13 +0100 | |
|---|---|---|
| committer | 2019-11-06 21:54:13 +0100 | |
| commit | 91cb165829badde07c42a002215cf52779d891b6 (patch) | |
| tree | b8ee6e04e32dcf6c6fc25b7b0b9fe2952d2991ba /docs/en/admins/07_LinuxUpdate.md | |
| parent | 3aa66f317b496ccd9a2df914bbc747c52081a7ad (diff) | |
| parent | 6d596e9e54308297d423b23bf65338d62eebc415 (diff) | |
Merge pull request #2633 from FreshRSS/dev1.15.1
FreshRSS 1.15.1
Diffstat (limited to 'docs/en/admins/07_LinuxUpdate.md')
| -rw-r--r-- | docs/en/admins/07_LinuxUpdate.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/en/admins/07_LinuxUpdate.md b/docs/en/admins/07_LinuxUpdate.md index 5c91fa3ca..7bd867639 100644 --- a/docs/en/admins/07_LinuxUpdate.md +++ b/docs/en/admins/07_LinuxUpdate.md @@ -35,7 +35,7 @@ If there's not an update, you're done! If there is, continue the following steps 5. Discard manual changes and delete manual additions ``` -get reset --hard +git reset --hard git clean -f -d ``` |
