providers/terminal library

A provider of the path that identifies the dataset to load.

Time-stamp: "Saturday 2023-11-04 15:22:54 +1100 Graham Williams"

Copyright (C) 2023, Togaware Pty Ltd.

Licensed under the GNU General Public License, Version 3 (the "License");

License: https://opensource.org/license/gpl-3-0

Authors: Graham Williams

Properties

terminalProvider StateProvider<Terminal>
final