This is an experimental copy for testing Poikilos' issue mirroring system. Note that Gitea's migration tool can import issues, but the "Issues" checkbox is disabled when "This repository will be a mirror" is enabled (it is for this repo).
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.
 
 
 
 
 
 
poikilos b5c5d8f1e8 show collision box in GUI 6 years ago
..
deprecated get trm_pyramids license correctly (raw not blob) 6 years ago
unused rename util to utilities 6 years ago
generate_collision_box.py show collision box in GUI 6 years ago
generatemod.py move script to utilities 6 years ago
git_all_push.sh rename util to utilities 6 years ago
mtoldtonew.csv rename util to utilities 6 years ago
mtoldtonew.py rename util to utilities 6 years ago
showmissing.py Add script, note plans 6 years ago