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: 41f7405) | patch

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Tue, 10 Jan 2023 17:28:41 +0000 (18:28 +0100)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Tue, 10 Jan 2023 17:28:41 +0000 (18:28 +0100)
commit	3e69f22d5d147107a3c79ff9301b006d0c8d644f
tree	83b9f2271ec60a453823b454cc56aa9520f7f8bb	tree \| snapshot
parent	41f74056c3dba63046899ab25709f92acef627d5	commit \| diff

unused componentsConf module removed

matita/components/extlib/componentsConf.ml	[deleted file]	blob \| history
matita/components/extlib/componentsConf.ml.in	[deleted file]	blob \| history
matita/components/extlib/componentsConf.mli	[deleted file]	blob \| history
matita/components/extlib/dune		diff \| blob \| history

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