diff options
| author |  Alexander Foremny <aforemny@posteo.de> | 2023-10-16 16:05:03 +0200 |
|---|---|---|
| committer | Alexander Foremny <aforemny@posteo.de> | 2023-10-16 16:05:03 +0200 |
| commit | 5c977136606a695b72f2324669f752ae30647752 (patch) | |
| tree | 4775e397f75f2ca8caab8d58fac2d952bbfebfe0 /app/Main.hs | |
| parent | 2921feafabe356df4c1f0ca8e45c08498bd6979e (diff) | |
comment on add-command-for-re-generating-the-cache
Diffstat (limited to 'app/Main.hs')
| -rw-r--r-- | app/Main.hs | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/app/Main.hs b/app/Main.hs index e7bf0bc..327ba62 100644 --- a/app/Main.hs +++ b/app/Main.hs @@ -301,6 +301,9 @@ -- -- @topic options -- @topic cache +-- +-- COMMENT What is the point of this command? Can't caches be handled +-- transparently to the user? -- TODO Add global option for specifying first considered commit -- |