diff options
Diffstat (limited to 'package.yaml')
| -rw-r--r-- | package.yaml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/package.yaml b/package.yaml index 84e1e96..7208cd9 100644 --- a/package.yaml +++ b/package.yaml @@ -71,3 +71,5 @@ executables: - walint - uuid - containers + - microlens + - microlens-th |