Check-in [5dc4de14de]
Overview
Comment:Allow the user to specify a different output command for minirivet
Downloads: Tarball | ZIP archive | SQL archive
Timelines: family | ancestors | descendants | both | trunk
Files: files | file ages | folders
SHA3-256: 5dc4de14def637e40eff75d8a8ac2a7bb9e4309b131ba889f81bd3e217949313
User & Date: rkeene on 2019-09-20 15:46:05
Other Links: manifest | tags
Context
2019-09-20
15:58
Allow the user to specify either the path to or the contents of "xvfs-core.h" check-in: 09e53d3c38 user: rkeene tags: trunk
15:46
Allow the user to specify a different output command for minirivet check-in: 5dc4de14de user: rkeene tags: trunk
15:36
A bit of checks before defining types check-in: c57d8bead8 user: rkeene tags: trunk
Changes