j
k
j a
j l
On Sat, Feb 04, 2012 at 07:25:05PM +0100, Julia Lawall wrote:
How important is the name argument to request_mem_region?
It's just used for diagnostics.
Attachments:
Back to the thread
Back to the list
