Commit 33406985 authored by Jan Rasmus Tikovsky 's avatar Jan Rasmus Tikovsky

Added source-repository to cabal file

parent 99e0b121
......@@ -25,6 +25,10 @@ Extra-Source-Files: LIESMICH
Data-Dir: data
Data-Files: currysource.css
source-repository head
type: git
location: git://git-ps.informatik.uni-kiel.de/curry/curry-frontend.git
Flag network-uri
description: Get Network.URI from the network-uri package
default: True
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment