Re: patch: partition vs filesystem

2017-11-17 Thread Marco van Hulten
Ludovic— Je 17 nov 21:55 transskribita far Ludovic Courtès: > Marco van Hulten skribis: > > > Patch for documentation attached. > > > > terminology: replaced partition with filesystem where needed > > I added a commit log and applied it on your behalf. Thank you! No problem, thanks for appl

Re: patch: partition vs filesystem

2017-11-17 Thread Ludovic Courtès
Marco van Hulten skribis: > Patch for documentation attached. > > terminology: replaced partition with filesystem where needed I added a commit log and applied it on your behalf. Thank you! Ludo’.

patch: partition vs filesystem

2017-11-16 Thread Marco van Hulten
Patch for documentation attached. terminology: replaced partition with filesystem where needed —Marco diff --git a/doc/guix.texi b/doc/guix.texi index 098ff5e..d4a2a69 100644 --- a/doc/guix.texi +++ b/doc/guix.texi @@ -8072,7 +8072,7 @@ types.}. For the ESP, if you have one and assuming it is m