Diffusion whizardsvn rWHIZARDSVN8171

755b439 Merge branch 'metadata_20180822' into 'master'
rWHIZARDSVN8171
Actions

Tags

None

Subscribers

None

Description

755b439 Merge branch 'metadata_20180822' into 'master'

Details

Provenance

Authored on

Parents

rWHIZARDSVN8170: Tagging r8168 as release 2.6.4.

Branches

Unknown

Tags

Unknown

Event Timeline

jr_reuter committed rWHIZARDSVN8171: 755b439 Merge branch 'metadata_20180822' into 'master'.Aug 22 2018, 11:16 PM

Changes (8)

Path

Size

trunk/

circe2/

src/

configure.ac.in

share/

doc/

src/

noweb-frame/

whizard-prelude.nw

rWHIZARDSVN8171

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