Remove lines from a file: Difference between revisions
Content added Content deleted
(Added missing </lang>) |
|||
Line 1,937: | Line 1,937: | ||
# Delete the lines and write the file. |
# Delete the lines and write the file. |
||
lines.delete(first, last) |
lines.delete(first, last) |
||
filename.writeFile(lines.join()) |
filename.writeFile(lines.join())</lang> |
||
=={{header|OCaml}}== |
=={{header|OCaml}}== |