]>
2022-01-25 | Thomas Glanzmann | work in progress | commit | commitdiff | tree | snapshot |
2022-01-24 | Thomas Glanzmann | more todo | commit | commitdiff | tree | snapshot |
2022-01-22 | Thomas Glanzmann | manual merge | commit | commitdiff | tree | snapshot |
2022-01-22 | Thomas Glanzmann | more to add | commit | commitdiff | tree | snapshot |
2022-01-22 | Thomas Glanzmann | m1 config options | commit | commitdiff | tree | snapshot |
2022-01-22 | Thomas Glanzmann | more todo | commit | commitdiff | tree | snapshot |
2022-01-18 | Thomas Glanzmann | more todo | commit | commitdiff | tree | snapshot |
2022-01-18 | Thomas Glanzmann | more todo | commit | commitdiff | tree | snapshot |
2022-01-18 | Thomas Glanzmann | more to ignore | commit | commitdiff | tree | snapshot |
2022-01-18 | Thomas Glanzmann | first version of the bootstrap | commit | commitdiff | tree | snapshot |