projects
/
nameless-os.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
combined
(merge:
ee5194a
d826097
)
Merge branch 'drive'
master
origin/master
author
Duje Mihanović
<duje.mihanovic@skole.hr>
Fri, 17 Jun 2022 19:26:27 +0000
(21:26 +0200)
committer
Duje Mihanović
<duje.mihanovic@skole.hr>
Fri, 17 Jun 2022 19:26:53 +0000
(21:26 +0200)
This way that branch can be deleted without any history being lost.
Trivial merge