You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
 
 
 
 
Jure Šorn 6a08b4eedb Introspection 4 years ago
..
convert_table.py Added helper scripts 5 years ago
default.min.css Removed green color, comparable 5 years ago
empty_script.py Updated empty_script.py 4 years ago
faq.html Added FAQ page 4 years ago
favicon.png Favicon 5 years ago
highlight.min.js Added web directory 6 years ago
image_720.jpeg Image 6 years ago
image_888.jpeg Wider image 6 years ago
image_960.jpeg Wider image 6 years ago
image_orig.jpeg Image 6 years ago
image_social.jpeg Updated Twitter image 4 years ago
image_social_2.png Added FAQ page 4 years ago
image_social_bckp.png Updated Twitter image 4 years ago
image_twitter_card.jpeg Twitter card 5 years ago
image_twitter_card_2.jpeg Changed twitter summary card 5 years ago
jquery-3.4.0.min.js Added back to top button 5 years ago
jquery-3.4.0.slim.min.js Added JS script that checks if Menlo font exists 5 years ago
mario_bros.png Small fixes 4 years ago
script_2.js General fixes from CSV until Pygame 4 years ago
showdown.min.js Added web directory 6 years ago
style.css Increased font size of mobile site from 70% to 72% 5 years ago
template.html Updated date 4 years ago
twitter_card_large.jpeg Updated Twitter image 4 years ago
twitter_card_large_bckp.jpeg Updated Twitter image 4 years ago