|
|
22e541f391
|
minor simplifications, removal of unused code
|
2023-07-23 16:51:03 +02:00 |
|
|
|
8d8e13d8ed
|
define and call forge code
|
2023-07-23 12:35:18 +02:00 |
|
|
|
c724ad89bd
|
forge: execute simple forge code
|
2023-07-23 10:20:25 +02:00 |
|
|
|
96a1bdb39f
|
type renamings: as private as possible
|
2023-07-22 10:04:02 +02:00 |
|
|
|
91322dae3a
|
forge: Exec() basically working
|
2023-07-21 19:47:57 +02:00 |
|
