Skip to content
This repository has been archived by the owner on Feb 19, 2023. It is now read-only.

Commit

Permalink
Update README.md
Browse files Browse the repository at this point in the history
  • Loading branch information
CCXXXI authored Jun 20, 2021
1 parent 87ae2d3 commit da1cb83
Showing 1 changed file with 4 additions and 1 deletion.
5 changes: 4 additions & 1 deletion README.md
Original file line number Diff line number Diff line change
@@ -1,5 +1,8 @@
# pintos

clone from git://pintos-os.org/pintos-anon
[![GitHub license](https://img.shields.io/github/license/CCXXXI/pintos)](LICENSE)
[![GitHub last commit](https://img.shields.io/github/last-commit/CCXXXI/pintos)](../../commits)

duplicated from git://pintos-os.org/pintos-anon

[Wiki](../../wiki)

0 comments on commit da1cb83

Please sign in to comment.