Merge pull request #1357 from RAMilewski/master

edge_mask() missing side effect in docs
This commit is contained in:
Revar Desmera 2024-01-26 17:44:13 -08:00 committed by GitHub
commit de4aa14485
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
2 changed files with 2 additions and 1 deletions

View file

@ -1580,6 +1580,7 @@ module face_mask(faces=[LEFT,RIGHT,FRONT,BACK,BOT,TOP]) {
// Tags the children with "remove" (and hence sets `$tag`) if no tag is already set.
// `$idx` is set to the index number of each edge.
// `$attach_anchor` is set for each edge given, to the `[ANCHOR, POSITION, ORIENT, SPIN]` information for that anchor.
// `$parent_size` is set to the size of the parent object.
// Example:
// diff()
// cube([50,60,70],center=true)

View file

@ -9,7 +9,7 @@
//////////////////////////////////////////////////////////////////////
BOSL_VERSION = [2,0,700];
BOSL_VERSION = [2,0,702];
// Section: BOSL Library Version Functions