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
127
Commits
4
Branches
113 MiB
Tree:
3e9739552d
devel
master
website
website-devel
Branches
Tags
${ item.name }
Create branch
${ searchTerm }
from '3e9739552d'
${ noResults }
Commit Graph
5 Commits (3e9739552de48fa8a10d2db0492e119aa375f7c4)
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