X Tutup
Skip to content

More file ops#139

Merged
jbrichau merged 6 commits intomasterfrom
more-file-ops
Jul 23, 2022
Merged

More file ops#139
jbrichau merged 6 commits intomasterfrom
more-file-ops

Conversation

@jbrichau
Copy link
Member

Added:

  • GRPlatform>>deleteFile: aPathString
  • GRPlatform>>newTemporaryFileReferenceNamed:
  • GRDelegatingStream>>position:

@jbrichau jbrichau merged commit 514c8cd into master Jul 23, 2022
@jbrichau jbrichau deleted the more-file-ops branch July 23, 2022 19:05
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant

X Tutup