Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0003774OCamlOCaml generalpublic2005-08-29 17:502005-10-12 14:58
Reporteradministrator 
Assigned To 
PrioritynormalSeverityfeatureReproducibilityalways
StatusacknowledgedResolutionopen 
PlatformOSOS Version
Product Version 
Target VersionFixed in Version 
Summary0003774: function to remove tail chars from a Buffer
DescriptionFull_Name: Christoph Bauer
Version: 3.08.3
OS:
Submission from: 213.68.136.226 (213.68.136.226)


Hi,

I need a function like

Buffer.remove_tail_chars : t -> int -> ()

This function should remove the n characters at the end
of the buffer.

Thanks.
Christoph Bauer

TagsNo tags attached.
Attached Files

- Relationships

-  Notes
There are no notes attached to this issue.

- Issue History
Date Modified Username Field Change
2005-11-18 10:13 administrator New Issue


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker