Diffusion whizardsvn rWHIZARDSVN8964

4cda83817 Merge branch 'remove_workaround_in_qed' into 'master'
rWHIZARDSVN8964
Actions

Tags

None

Subscribers

None

Description

4cda83817 Merge branch 'remove_workaround_in_qed' into 'master'

Details

Provenance

Authored on

Parents

rWHIZARDSVN8963: d2c990301 Merge branch 'XCode16.3_fix_XCode_version' into 'master'

Branches

Unknown

Tags

Unknown

Event Timeline

jr_reuter committed rWHIZARDSVN8964: 4cda83817 Merge branch 'remove_workaround_in_qed' into 'master'.Sat, May 3, 10:01 AM

Changes (2)

Path

Size

trunk/

src/

qed_pdf/

types/

rWHIZARDSVN8964

trunk/src/qed_pdf/qed_pdf.nw

Loading...

trunk/src/types/types.nw

Loading...