Rework to avoid using preferences object to retrieve options

This commit is contained in:
Guillaume Tâche
2024-09-22 21:59:10 +02:00
parent 7f99c48e2c
commit c59619da2d
115 changed files with 2294 additions and 765 deletions

View File

@@ -8,6 +8,7 @@ import java.nio.file.Path;
/**
* Represents a file
*/
@FunctionalInterface
public interface File {
/**
* @return The file input stream