From 5e53ea0872ea5d9cd1d5e7aaebd910a1439a81a0 Mon Sep 17 00:00:00 2001 From: Kim Grasman Date: Sun, 30 Jun 2019 15:39:48 +0200 Subject: [PATCH] Change "folders" to "directories" in Boost mappings. No functional change. --- boost-1.64-all.imp | 2 +- boost-all.imp | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/boost-1.64-all.imp b/boost-1.64-all.imp index 7d75110..ef4e428 100644 --- a/boost-1.64-all.imp +++ b/boost-1.64-all.imp @@ -6,7 +6,7 @@ { include: ["@", private, "", public ] }, { include: ["@", private, "", public ] }, #manually delete $ sed '/workarounds*\.hpp/d' -i boost-all.imp -#also good idea to remove all lines refering to folders above (e.g., sed '/\/format\//d' -i boost-all.imp) +#also good idea to remove all lines refering to directories above (e.g., sed '/\/format\//d' -i boost-all.imp) #programatically include: { include: ["", private, "", public ] }, { include: ["", private, "", public ] }, diff --git a/boost-all.imp b/boost-all.imp index d0d87a8..946e453 100644 --- a/boost-all.imp +++ b/boost-all.imp @@ -6,7 +6,7 @@ { include: ["@", private, "", public ] }, { include: ["@", private, "", public ] }, #manually delete $ sed '/workarounds*\.hpp/d' -i boost-all.imp -#also good idea to remove all lines refering to folders above (e.g., sed '/\/format\//d' -i boost-all.imp) +#also good idea to remove all lines refering to directories above (e.g., sed '/\/format\//d' -i boost-all.imp) #programatically include: { include: ["", private, "", public ] }, { include: ["", private, "", public ] },