matita.cs.unibo.it Git - helm.git/commit

]> matita.cs.unibo.it Git - helm.git/commit

projects / helm.git / commit

summary | shortlog | log | commit | commitdiff | tree
(parent: 8f4dd9f) | patch

author	Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
	Tue, 3 Jan 2023 02:03:53 +0000 (03:03 +0100)
committer	Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
	Tue, 3 Jan 2023 02:03:53 +0000 (03:03 +0100)
commit	6fbaee3701f116f9db60bfd3998dff63ddb68704
tree	7cd445e9123034c3b177b0007997a045134f684b	tree \| snapshot
parent	8f4dd9ff1ccceb8b305376fbbdfd1526dc9c22ab	commit \| diff

Use dune-build-info to put the version in buildTimeConf

.gitignore		diff \| blob \| history
matita/dune-project		diff \| blob \| history
matita/matita/buildTimeConf.ml	[new file with mode: 0644]	blob
matita/matita/dune		diff \| blob \| history

Unnamed repository; edit this file 'description' to name the repository.