Skip to content

GitLab

Why GitLab
Pricing
Contact Sales
Explore

Sign in
Get free trial

Admin message

Do not update/delete: Banner broadcast message test data

Admin message

Do not update/delete: Notification broadcast message test data

username-removed-99622
idris-lambda-zagreb-08-2017

I

idris-lambda-zagreb-08-2017

Copy SSH clone URLgit@staging.gitlab.com:mdimjasevic/idris-lambda-zagreb-08-2017.git
Copy HTTPS clone URLhttps://staging.gitlab.com/mdimjasevic/idris-lambda-zagreb-08-2017.git

The repository for this project is empty

Project information

Prezentacija "Precizni tipovi u Idrisu"

Created on

July 26, 2017