mirror of
https://github.com/PolyhedralDev/Terra.git
synced 2026-04-10 17:56:03 +00:00
update to tectonic 2.0.0
This commit is contained in:
@@ -11,12 +11,6 @@ import java.util.Map;
|
||||
import java.util.Set;
|
||||
|
||||
public interface Loader {
|
||||
/**
|
||||
* Do something with the InputStreams.
|
||||
*
|
||||
* @param consumer Something to do with the streams.
|
||||
*/
|
||||
Loader then(ExceptionalConsumer<List<Configuration>> consumer) throws ConfigException;
|
||||
|
||||
Loader thenNames(ExceptionalConsumer<List<String>> consumer) throws ConfigException;
|
||||
|
||||
|
||||
Reference in New Issue
Block a user