diff options
| author | John Ogness <john.ogness@linutronix.de> | 2019-01-28 13:09:56 +0106 |
|---|---|---|
| committer | John Ogness <john.ogness@linutronix.de> | 2019-01-28 20:25:24 +0106 |
| commit | 34d19fc6b1a814a9b65651980011d6a47af606d1 (patch) | |
| tree | 6b839a5266083ed029dc265726d8feca149d5897 /security/crypto/pres_pki_en.tex | |
| parent | 35cff9185b355d7a471b5164b2235409e584dbfb (diff) | |
dd-multi: rename HOMEPT to EXTRAPT
Rename the variable representing the extra partition. Until now
this was /home but it will be changed to be an extra partition.
Signed-off-by: John Ogness <john.ogness@linutronix.de>
Diffstat (limited to 'security/crypto/pres_pki_en.tex')
0 files changed, 0 insertions, 0 deletions