Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0004857OCamlOCaml generalpublic2009-09-04 11:502010-05-20 16:06
Reporterdoligez 
Assigned Todoligez 
PrioritynormalSeverityfeatureReproducibilityalways
StatusclosedResolutionfixed 
PlatformOSOS Version
Product Version 
Target VersionFixed in Version3.12.0+dev 
Summary0004857: add a -vnum option
DescriptionAdd a -vnum option to all the tools to output the version number and nothing else.
TagsNo tags attached.
Attached Files

- Relationships

-  Notes
There are no notes attached to this issue.

- Issue History
Date Modified Username Field Change
2009-09-04 11:50 doligez New Issue
2009-09-04 11:50 doligez Status new => assigned
2009-09-04 11:50 doligez Assigned To => doligez
2010-05-20 16:06 doligez Status assigned => closed
2010-05-20 16:06 doligez Resolution open => fixed
2010-05-20 16:06 doligez Fixed in Version => 3.12.0+dev


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker