diff options
| author | Michal Schmidt <mschmidt@redhat.com> | 2012-05-15 08:16:30 +0200 |
|---|---|---|
| committer | Michal Schmidt <mschmidt@redhat.com> | 2012-05-15 08:26:29 +0200 |
| commit | 7cf55dd0700d2b93f18a1bdc50b3c864d0af2246 (patch) | |
| tree | 44fa9dbedde700ab2ec43a8f63a1d72a85553172 /docs/gudev/.gitignore | |
| parent | ba49b4a1a2497b9d3372d45ee1e43aec0c0d66f1 (diff) | |
man: overwrite vs. override
'overwrite' conveys the idea of the old text being destroyed.
'override' does not. It is more similar to 'overrule'.
Diffstat (limited to 'docs/gudev/.gitignore')
0 files changed, 0 insertions, 0 deletions