Index of /naeher/leda/download/LEDA-7/config/old/unix

 Name                                     Last modified      Size  Description
 Parent Directory                                              -   
 Make.xyz/                                2024-04-09 21:18    -   
 cc/                                      2024-04-09 21:18    -   
 tools/                                   2024-04-09 21:18    -   
 shared.mk                                2024-04-09 21:18  213   
 Makefile.subdirs                         2024-04-09 21:18  461   
 Make.src.static                          2024-04-09 21:18  551   
 Make.pro.shared                          2024-04-09 21:18  697   
 Make.pro.static                          2024-04-09 21:18  697   
 Make.src.shared                          2024-04-09 21:18  731