Diffusion whizardsvn rWHIZARDSVN8280

66894ff Merge branch 'new_metadata_2.8.1' into 'master'
rWHIZARDSVN8280
Actions

Tags

None

Subscribers

None

Description

66894ff Merge branch 'new_metadata_2.8.1' into 'master'

Details

Provenance

Authored on

Parents

rWHIZARDSVN8279: Tagging r8278 as release 2.8.0.

Branches

Unknown

Tags

Unknown

Event Timeline

jr_reuter committed rWHIZARDSVN8280: 66894ff Merge branch 'new_metadata_2.8.1' into 'master'.Aug 5 2019, 2:10 AM

Changes (8)

Path

Size

trunk/

circe2/

src/

configure.ac.in

share/

doc/

src/

noweb-frame/

whizard-prelude.nw

rWHIZARDSVN8280

trunk/ChangeLog

Loading...

trunk/NEWS

Loading...

trunk/circe2/src/circe2.nw

Loading...

trunk/configure.ac.in

Loading...

trunk/share/doc/custom.hva

Loading...

trunk/share/doc/manual.tex

Loading...

trunk/src/noweb-frame/whizard-prelude.nw

Loading...

trunk/synchronize.sh

Loading...