Makefile · ee92f736da97b655671911673262fdb3cda9f776 · Verlässliche Systemsoftware / projects / osv · GitLab

Snippets Groups Projects

10 years ago
2d451866
Merge branch 'master' of github.com:cloudius-systems/osv · 2d451866
Avi Kivity authored 10 years ago
```
Sync with master.

Signed-off-by: Avi Kivity <avi@cloudius-systems.com>
```
2d451866

History
Merge branch 'master' of github.com:cloudius-systems/osv
Avi Kivity authored 10 years ago
```
Sync with master.

Signed-off-by: Avi Kivity <avi@cloudius-systems.com>
```