diff options
| author | Gloria Mundi <gloria@gloria-mundi.eu> | 2024-11-05 21:51:20 +0100 |
|---|---|---|
| committer | Gloria Mundi <gloria@gloria-mundi.eu> | 2024-11-05 21:51:20 +0100 |
| commit | ad3856a6b766087df0036de0b556f4700a6498c9 (patch) | |
| tree | 78037d83b823feee3f73d6594d6039442d7ca525 /java/output.java | |
| parent | cfb19a7085895cdbcf09c123c37735586dbe7695 (diff) | |
| parent | 8c33b4e0d3030cfed17fc64b4fe41133339f6d87 (diff) | |
merge mzuenni changes
Diffstat (limited to 'java/output.java')
| -rw-r--r-- | java/output.java | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/java/output.java b/java/output.java deleted file mode 100644 index f046731..0000000 --- a/java/output.java +++ /dev/null @@ -1,7 +0,0 @@ -//gepufferter nicht autoatischer flushender output -PrintWriter out = new PrintWriter(new BufferedWriter( - new OutputStreamWriter(new FileOutputStream( - FileDescriptor.out), StandardCharsets.UTF_8), 4096)); -out.println("blub" + "a" + "b"); //zeile Ausgeben -out.println(String.format("%d %s", 5, "a")) // wie printf -out.close();//WICHTIG! |