Skip to content

Commit

Permalink
Revert "Revert DC name"
Browse files Browse the repository at this point in the history 
This reverts commit e538fd7.
  • Loading branch information
Dmitri Popov committed Feb 15, 2024
1 parent e538fd7 commit 4a837d0
Showing 1 changed file with 0 additions and 0 deletions.
0 DC-minvm-intro → DC-minimal-vm
View file
File renamed without changes.

0 comments on commit 4a837d0

Please sign in to comment.