This website requires JavaScript.
Explore
Help
Register
Sign In
archive-gh-me
/
jerryscript
Watch
1
Star
0
Fork
0
You've already forked jerryscript
mirror of
https://github.com/jerryscript-project/jerryscript.git
synced
2025-12-15 16:29:21 +00:00
Code
Issues
Projects
Releases
Wiki
Activity
jerryscript
/
tools
/
git-scripts
History
Ruben Ayrapetyan
c2ec0414db
Fixing tools/push.sh (removing collection of build environment information and commented performance measurement code).
...
JerryScript-DCO-1.0-Signed-off-by: Ruben Ayrapetyan
r.ayrapetyan@samsung.com
2015-04-30 18:47:03 +03:00
..
log.sh
Fixing bash scripts: moving '#!/bin/bash' to top.
2015-04-29 20:36:41 +03:00
pull.sh
Fixing bash scripts: moving '#!/bin/bash' to top.
2015-04-29 20:36:41 +03:00
push.sh
Fixing tools/push.sh (removing collection of build environment information and commented performance measurement code).
2015-04-30 18:47:03 +03:00
