|
generators
|
New generator: Tetris
|
2023-02-12 13:29:58 +01:00 |
|
Color.py
|
Add labels to some generators
|
2022-05-14 10:35:58 +02:00 |
|
__init__.py
|
polygonWall: Fix numbers of callbacks
|
2023-02-12 13:29:58 +01:00 |
|
edges.py
|
edges: remove redundant `else return`
|
2023-01-23 20:40:43 +01:00 |
|
extents.py
|
extents: add types
|
2023-02-07 20:08:20 +01:00 |
|
formats.py
|
Add typing: magic methods
|
2023-01-09 07:55:59 +01:00 |
|
gears.py
|
Add typing: magic methods
|
2023-01-09 07:55:59 +01:00 |
|
lids.py
|
topEdges: Give better names to variables
|
2022-10-01 13:35:51 +02:00 |
|
parts.py
|
Make Parts.ringSegment actually work
|
2023-01-11 20:33:49 +01:00 |
|
pulley.py
|
Remove useless parentheses
|
2023-01-13 16:18:44 +01:00 |
|
robot.py
|
Add typing: magic methods
|
2023-01-09 07:55:59 +01:00 |
|
servos.py
|
edges: add typing
|
2023-01-23 20:40:43 +01:00 |
|
svgutil.py
|
svgutil: add typing
|
2023-01-23 16:31:07 +01:00 |
|
vectors.py
|
Fix typos and docstrings
|
2023-01-02 16:15:13 +01:00 |
|
walledges.py
|
edges: add typing
|
2023-01-23 20:40:43 +01:00 |
702006d9ef