diff options
| author | Stephan Dilly <dilly.stephan@gmail.com> | 2021-05-18 00:21:05 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-05-18 00:21:05 +0200 |
| commit | 5ba657cabefafaa35bea4887d6502a3a107750d7 (patch) | |
| tree | 8fc4bab38291314cbf38a09565a14534926147c7 /src/queue.rs | |
| parent | fce294066c2734f6271386cd04854f9120edbaa1 (diff) | |
file tree of a commit (#715)
Diffstat (limited to 'src/queue.rs')
| -rw-r--r-- | src/queue.rs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/queue.rs b/src/queue.rs index 423bc1b0..c761598a 100644 --- a/src/queue.rs +++ b/src/queue.rs @@ -76,6 +76,8 @@ pub enum InternalEvent { Pull(String), /// PushTags, + /// + OpenFileTree(CommitId), } /// |