Name: manifest
Owner: S2E
Description: Contains the Google repo manifests to manage S2E sources
Created: 2017-03-31 15:05:52.0
Updated: 2017-11-07 04:33:24.0
Pushed: 2017-04-20 15:25:51.0
Homepage: null
Size: 2
Language: null
GitHub Committers
User | Most Recent Commit | # Commits |
---|
Other Committers
User | Most Recent Commit | # Commits |
---|
This repository contains the repo
manifests to manage S2E's repositories.
sudo apt-get install repo
repo init -u git://github.com/s2e/manifest.git
repo sync