Diffusion whizardsvn rWHIZARDSVN8124

9981b9f Merge branch 'metadata_correct_20180210' into 'master'
rWHIZARDSVN8124
Actions

Tags

None

Subscribers

None

Description

9981b9f Merge branch 'metadata_correct_20180210' into 'master'

Details

Provenance

Authored on

Parents

rWHIZARDSVN8123: Tagging r8122 as release 2.6.3.

Branches

Unknown

Tags

Unknown

Event Timeline

jr_reuter committed rWHIZARDSVN8124: 9981b9f Merge branch 'metadata_correct_20180210' into 'master'.Feb 10 2018, 9:38 PM

Changes (8)

Path

Size

trunk/

circe2/

src/

configure.ac.in

share/

doc/

src/

noweb-frame/

whizard-prelude.nw

rWHIZARDSVN8124

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...