projects
/
cubicaltt.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
5841ef9
)
Populate extra-source-files
author
Auke Booij
<auke@tulcod.com>
Wed, 14 Oct 2015 13:08:55 +0000
(14:08 +0100)
committer
Auke Booij
<auke@tulcod.com>
Wed, 14 Oct 2015 13:09:10 +0000
(14:09 +0100)
cubicaltt.cabal
patch
|
blob
|
blame
|
history
diff --git
a/cubicaltt.cabal
b/cubicaltt.cabal
index 6efd558eea0465606076da8505ae298703b4d50c..fee92b7798c1649689878a921d6e6ac814e2c35c 100644
(file)
--- a/
cubicaltt.cabal
+++ b/
cubicaltt.cabal
@@
-12,7
+12,7
@@
maintainer: mortberg@chalmers.se
-- copyright:
category: Language
build-type: Custom
-extra-source-files:
README.md
+extra-source-files:
Makefile, README.md, Exp.cf, examples/*.ctt, experiments/*.ctt, cubical.el
cabal-version: >=1.10
executable cubical