Diffusion whizardsvn rWHIZARDSVN8596

8bba870 Merge branch 'clean_old_stuff' into 'master'
rWHIZARDSVN8596
Actions

Tags

None

Subscribers

None

Description

8bba870 Merge branch 'clean_old_stuff' into 'master'

Details

Provenance

Authored on

Parents

rWHIZARDSVN8595: Obsolete branch where Specki implemented a max. number of processes inside…

Branches

Unknown

Tags

Unknown

Event Timeline

jr_reuter committed rWHIZARDSVN8596: 8bba870 Merge branch 'clean_old_stuff' into 'master'.Jun 4 2021, 6:46 PM

Changes (2)

Path

Size

trunk/

src/

system/

types/

rWHIZARDSVN8596

trunk/src/system/system.nw

Loading...

trunk/src/types/types.nw

Loading...