view src/goodjava/logger/Appender.java @ 1925:0156fe64a610 default tip

move editor out
author Franklin Schmidt <fschmidt@gmail.com>
date Mon, 21 Apr 2025 13:06:14 -0600
parents 6fc083e1d08c
children
line wrap: on
line source

package goodjava.logger;


public interface Appender {
	public void append(LoggingEvent event);
	public void close();
}