|
generators
|
Fix typing errors
|
2023-01-01 18:10:42 +01:00 |
|
Color.py
|
Add labels to some generators
|
2022-05-14 10:35:58 +02:00 |
|
__init__.py
|
Fix typing errors
|
2023-01-01 18:10:42 +01:00 |
|
drawing.py
|
Auto optimize imports
|
2022-12-31 20:33:49 +01:00 |
|
edges.py
|
Fix typing errors
|
2023-01-01 18:10:42 +01:00 |
|
extents.py
|
Fix white space in boxes/extents.py
|
2022-09-06 18:54:44 +02:00 |
|
formats.py
|
Auto optimize imports
|
2022-12-31 20:33:49 +01:00 |
|
gears.py
|
Fix typing errors
|
2023-01-01 18:10:42 +01:00 |
|
lids.py
|
topEdges: Give better names to variables
|
2022-10-01 13:35:51 +02:00 |
|
parts.py
|
Auto optimize imports
|
2022-12-31 20:33:49 +01:00 |
|
pulley.py
|
Auto optimize imports
|
2022-12-31 20:33:49 +01:00 |
|
robot.py
|
Auto optimize imports
|
2022-12-31 20:33:49 +01:00 |
|
servos.py
|
Auto optimize imports
|
2022-12-31 20:33:49 +01:00 |
|
svgutil.py
|
Auto optimize imports
|
2022-12-31 20:33:49 +01:00 |
|
vectors.py
|
Add tangent() function
|
2017-02-22 20:01:28 +01:00 |
|
walledges.py
|
Auto optimize imports
|
2022-12-31 20:33:49 +01:00 |
9d6f535e01