]> git.dujemihanovic.xyz Git - nameless-os.git/commitdiff
Merge branch 'drive' master origin/master
authorDuje Mihanović <duje.mihanovic@skole.hr>
Fri, 17 Jun 2022 19:26:27 +0000 (21:26 +0200)
committerDuje 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