Merge branch 'master' into master

This commit is contained in:
adrianVmariano 2024-01-27 12:50:13 -05:00 committed by GitHub
commit 8337452a9d
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
2 changed files with 3 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,8 @@
//////////////////////////////////////////////////////////////////////
BOSL_VERSION = [2,0,701];
BOSL_VERSION = [2,0,703];
// Section: BOSL Library Version Functions