Rotzbua
|
9cb581a6ad
|
Fix misspelled variables (#484)
Co-authored-by: Florian Festi <florian@festi.info>
|
2023-01-02 16:23:24 +01:00 |
Florian Festi
|
416f9a8abf
|
examples/generate.sh: Remove no longer existing generator "box"
Thanks to Ben Christenson for pointing this out.
Resolves: #208
|
2020-03-07 20:22:27 +01:00 |
Philipp Dörfler
|
9cb3d4b735
|
changed /bin/bash to /usr/bin/env bash
This abstracts over the exact location of the bash binary and makes NixOS people happy.
|
2018-11-27 19:48:16 +01:00 |
David Bennett
|
7d356f2267
|
Update the generate script to work correctly.
|
2018-08-28 11:00:44 +02:00 |
Florian Festi
|
2acf6a762f
|
Update examples
|
2016-06-07 20:24:46 +02:00 |
|
Florian Festi
|
b22ee1f760
|
Replace Edge.width() with .startwidth() and .endwidth()
to allow changes in the with of the edge. This is currently needed for the
CompoundEdge but may be used by future edges, too.
|
2016-04-19 09:33:33 +02:00 |
|
Florian Festi
|
7b0129b2b1
|
Update examples
|
2016-04-02 20:51:41 +02:00 |
|
Florian Festi
|
d00e992471
|
Rebuild examples with new stretch settings
|
2016-03-30 21:12:25 +02:00 |
|
Florian Festi
|
e21840d045
|
Rerun examples with fixed code
|
2016-03-30 20:55:16 +02:00 |
|
Florian Festi
|
31a6af5116
|
Add script for geenrating examples
Regenerate examples with current code
|
2016-03-28 12:19:25 +02:00 |
|
Florian Festi
|
b73a7d788f
|
trayinsert.py: Separating walls for dividing up drawers
A very much simpliefied version of typetray
|
2014-04-08 19:53:32 +02:00 |
|
Florian Festi
|
ae57ab5c83
|
flexbox.py: Increase default hight so enure front has some fingers in the joint
|
2014-03-15 16:13:24 +01:00 |
|
Florian Festi
|
329abd8c63
|
Add folder.py - a book cover made with flex
|
2014-03-15 15:10:44 +01:00 |
|
Florian Festi
|
493aba5abb
|
Add box3.py - a simple box with only 3 walls
|
2014-03-15 15:08:27 +01:00 |
|
Florian Festi
|
46ef5903c8
|
Add box2.py - a simple, open box
|
2014-03-15 15:03:38 +01:00 |
|
Florian Festi
|
d85d314983
|
Add example outputs for most of the scripts
|
2014-03-15 12:30:28 +01:00 |