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://www.gnu.org/licenses/gpl-3.0.en.html

Authors: Graham Williams

Properties

terminalProvider StateProvider<Terminal>
final