This repository has been archived on 2025-02-17. You can view files and clone it, but cannot push or open issues or pull requests.

puls200 961a2a7666 Version bump to 0.9.1.0		2023-10-18 08:54:48 +02:00
..
PublishProfiles	Version bump to 0.9.1.0	2023-10-18 08:54:48 +02:00
Settings.Designer.cs	added terminal times control	2023-09-18 20:36:44 +02:00
Settings.settings	Save and restore of filter criteria (user-context)	2023-09-15 17:05:07 +02:00