prism-accumulation

4030 Commits

5 Branches

0 Tags

31 MiB

Tree: 2800975309

Commit Graph

Author	SHA1	Message	Date
Chris Novakovic	5ebf3b0cc2	.gitignore: add prism(-sources).jar and associated temporary file Blacklist the following files from version control: * prism/lib/prism.jar: this is generated by the "binary" target in prism/Makefile. * prism/lib/prism-sources.jar: this is generated by the "source-jar" target in prism/Makefile. * prism/prism-sources.txt: this is a temporary build file generated by the "source-jar" target in prism/Makefile and will be deleted if it succeeds, but will be left behind if jar(1) exits unsuccessfully.	8 years ago
Dave Parker	6577f9ecff	Eclipse config: copy .classpath up to root dir, following switch from svn to git.	9 years ago
Dave Parker	3d72a13cc3	Add .gitignore file (for now, for git mirror of the svn repo). git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@11645 bbc10eb1-c90d-0410-af57-cb519fbb1720	10 years ago

Author

SHA1

Message

Date

Chris Novakovic

5ebf3b0cc2

.gitignore: add prism(-sources).jar and associated temporary file

Blacklist the following files from version control:

* prism/lib/prism.jar: this is generated by the "binary" target in
  prism/Makefile.
* prism/lib/prism-sources.jar: this is generated by the "source-jar"
  target in prism/Makefile.
* prism/prism-sources.txt: this is a temporary build file generated by
  the "source-jar" target in prism/Makefile and will be deleted if it
  succeeds, but will be left behind if jar(1) exits unsuccessfully.

8 years ago

Dave Parker

6577f9ecff

Eclipse config: copy .classpath up to root dir, following switch from svn to git.

9 years ago

Dave Parker

3d72a13cc3

Add .gitignore file (for now, for git mirror of the svn repo).

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@11645 bbc10eb1-c90d-0410-af57-cb519fbb1720

10 years ago

3 Commits (280097530918409a9540a0a3c084ba7e9eb94c8e)