Skip to content

GitLab

Explore

Sign in

Primary navigation

Project

E

Example Profile
- Activity
- Members
- Labels
- Environments
- Incidents

Snippets Groups Projects

Admin message

Aufgrund einer Wartung am 01.07.2025 von 8:00 bis 09:00 Uhr werden git.rwth-aachen.de & git-ce.rwth-aachen.de zeitweise nicht zur Verfügung stehen.

Due to maintenance at 01.07.2025 from 8:00 to 09:00, git.rwth-aachen.de & git-ce.rwth-aachen.de will be temporarily unavailable.

3f11e854

Commit 3f11e854 authored 5 years ago by Steffen Vogel

Downloads
- Patches
- Plain Diff

remove binder specific code

parent c554ac58

No related branches found

No related tags found

Loading

Checking pipeline status

Changes 6
Pipelines 1

Show whitespace changes

Inline Side-by-side

Showing

.gitlab-ci.yml 1 addition, 17 deletions

.gitlab-ci.yml
Dockerfile 0 additions, 7 deletions

Dockerfile
README.md 0 additions, 2 deletions

README.md
binder/environment.yml 0 additions, 1 deletion

binder/environment.yml
binder/postBuild 0 additions, 2 deletions

binder/postBuild
binder/trigger-binder.sh 0 additions, 26 deletions

binder/trigger-binder.sh

with 1 addition and 55 deletions

Loading

0% Loading or .

You are about to add 0 people to the discussion. Proceed with caution.

Finish editing this message first!

Please register or sign in to comment