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.
 
 
 
 
 
 
SagePtr 9500d394ec Minor fix to TRANSLATORS (#4836) 6 years ago
..
gitignore Synced gitignores with github repo (#1245) 7 years ago
label Add label descriptions (#3662) 6 years ago
license Add missing licenses (#3497) 6 years ago
locale Minor fix to TRANSLATORS (#4836) 6 years ago
readme Bindata is optional and over-writable on restart (#354) 8 years ago