diff options
| author | Ramón M. Gómez <ramongomez@us.es> | 2019-11-21 17:42:57 +0100 |
|---|---|---|
| committer | Ramón M. Gómez <ramongomez@us.es> | 2019-11-21 17:42:57 +0100 |
| commit | 696c5bbaf0be85a9e6382e611bf21a906838c71a (patch) | |
| tree | 0f0711c5f0010ce575e7fb4aca5c4714bd095c13 /Makefile | |
| parent | abd2b913d8b352388eb093f0e03b67138db9c490 (diff) | |
#839: Always update the partition types when obtaining the computer configuration.
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions