This website works better with JavaScript.
Home
Explore
Help
Sign In
jrtechs
/
jrtechs-TigerOS
mirror of
https://github.com/jrtechs/TigerOS.git
Watch
1
Star
0
Fork
0
Code
Issues
0
Releases
0
Wiki
Activity
128
Commits
4
Branches
116 MiB
Tree:
ed4f786f1f
devel
master
website
website-devel
Branches
Tags
${ item.name }
Create branch
${ searchTerm }
from 'ed4f786f1f'
${ noResults }
Commit Graph
5 Commits (ed4f786f1fdbc6e94a929902425b61004816c57b)
Author
SHA1
Message
Date
axk4545
2386e1fe1f
fix perms, explicitly add wget to iso, remove python frontend
7 years ago
Tim Zabel
607c1e0e7d
Pretty sure I only changed one indentation line somewhere.
7 years ago
Josh Bicking
e8c816dcc6
Fixes & easier reading for IDEA, removal for JFLAP
7 years ago
Aidan Kahrs
e5e4bc915b
Update idea.sh
7 years ago
Josh Bicking
7e0237722a
Fix name in JFLAP, add IDEA & demo removal
7 years ago