Skip to content
Permalink
Branch: master
Commits on Dec 2, 2019
  1. detecting ID of SSH

    ChristianKuehnel committed Dec 2, 2019
  2. changes jenkins URL

    ChristianKuehnel committed Dec 2, 2019
Commits on Nov 29, 2019
  1. disabled git clean

    ChristianKuehnel committed Nov 29, 2019
Commits on Nov 27, 2019
  1. fixed pushd calls

    ChristianKuehnel committed Nov 27, 2019
  2. shortened path names

    ChristianKuehnel committed Nov 27, 2019
Older
You can’t perform that action at this time.