Skip to content
GitLab
Explore
Sign in
Primary navigation
Search or go to…
Project
R
rtsim-efficient-public-grub-pa
Manage
Activity
Members
Labels
Plan
Issues
0
Issue boards
Milestones
Wiki
Code
Merge requests
0
Repository
Branches
Commits
Tags
Repository graph
Compare revisions
Snippets
Build
Pipelines
Jobs
Pipeline schedules
Artifacts
Deploy
Releases
Operate
Environments
Monitor
Incidents
Service Desk
Analyze
Value stream analytics
Contributor analytics
CI/CD analytics
Repository analytics
Model experiments
Help
Help
Support
GitLab documentation
Compare GitLab plans
Community forum
Contribute to GitLab
Provide feedback
Keyboard shortcuts
?
Snippets
Groups
Projects
Agostino Mascitti
rtsim-efficient-public-grub-pa
Commits
1d8eb164
Commit
1d8eb164
authored
4 years ago
by
Agostino Mascitti
Browse files
Options
Downloads
Patches
Plain Diff
Update README.md
parent
469530cb
Branches
master
No related merge requests found
Changes
1
Hide whitespace changes
Inline
Side-by-side
Showing
1 changed file
README.md
+1
-5
1 addition, 5 deletions
README.md
with
1 addition
and
5 deletions
README.md
+
1
−
5
View file @
1d8eb164
# How to use
`
git clone https://gitlab.retis.santannapisa.it/a.mascitti/rtsim-efficient-public-grub-pa/tree/master/ && cd rtsim-efficient-public/src/ &&
make -j4 &&
./reviewer_launch_me.sh # and answer 'y'
`
\ No newline at end of file
See the other branch
\ No newline at end of file
This diff is collapsed.
Click to expand it.
Preview
0%
Try again
or
attach a new file
.
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Save comment
Cancel
Please
register
or
sign in
to comment