Tree: dd9603dd1e

0.1.7

master

next

release0.1.5

release0.1.6

release0.1.7

v0.1.8

v0.1.9

0.1.8

0.1.9

v0.1

v0.1.1

v0.1.2

v0.1.3

v0.1.4

v0.1.5

v0.1.6

v0.1.7

Branches Tags

${ item.name }

Create tag ${ searchTerm }

Create branch ${ searchTerm }

from 'dd9603dd1e'

${ noResults }

Commit Graph

4 Commits (dd9603dd1e77e99e116a293ba9781dd269b625ab)

Author	SHA1	Message	Date
Georg Hopp	34836f0431	EXTRA_DIST should not be dependent on the existence of doxygen	12 years ago
Georg Hopp	8ae57a9091	some more changes for documentation generation	12 years ago
Georg Hopp	a037bbfc56	and put it to extra_dist	12 years ago
Georg Hopp	f18c86461e	actual coverage reports and api docs can be build via make again ... now project name and version are taken from configure ... ahh and configure holds version information from git.	12 years ago