Skip to content
Snippets Groups Projects
  1. Sep 19, 2022
    • Hartung, Michael's avatar
      first implementation of add edges · 9a6732de
      Hartung, Michael authored
      Former-commit-id: ccdbf1ce363799f417efcc1c691be6bab453772f [formerly 07c3f1f2787a1c2c50cd7e99537dbd6ab5cc804d]
      Former-commit-id: 35911fb481c22e8b6be3c54f1a05075d67fdf94b
      9a6732de
  2. Jul 25, 2022
  3. Jul 19, 2022
  4. Jul 15, 2022
    • AndiMajore's avatar
      added licenced vs nonlicenced distinction · 87f3cafa
      AndiMajore authored
      Former-commit-id: 10023dad6f6a64d6f3827a051cb64f4601a8443d [formerly 14665e8b53d40b7c366a2c8f0bddd793880d9cdf]
      Former-commit-id: ece28167227b6a7ac099ac545df826495d004778
      87f3cafa
  5. Feb 01, 2022
    • Hartung, Michael's avatar
      .gitlab ci pipeline for uhh · 3ddb8520
      Hartung, Michael authored
      Former-commit-id: e6257ed30e20c5c0b89906484a3718d168e48ee7 [formerly e7c7c79af7b70c944b9a0ddb37d411eaa332895b]
      Former-commit-id: 8d4568b0e0afa91a3047e0f1e5460b8c0ef77101
      3ddb8520
Loading