Index of /~inf99277/npr/ada/rcall/dsa/x86_64-unknown-linux-gnu/partitions/conf1/server

 Name                                                                    Last modified      Size  Description
 Parent Directory                                                                             -   
 partition.gpr                                                           2014-06-10 14:11  193   
 rci.ali                                                                 2014-06-10 14:11  8.2K  
 polyorb-dsa_p-storages-config.adb                                       2014-06-10 14:11  223   
 polyorb-partition_elaboration.adb                                       2014-06-10 14:11  2.5K  
 partition.ads                                                           2014-06-10 14:11  118   
 partition.adb                                                           2014-06-10 14:11  623   
 polyorb-partition_elaboration.ali                                       2014-06-10 14:11   14K  
 polyorb-dsa_p-storages-config.ali                                       2014-06-10 14:11  7.3K  
 partition.ali                                                           2014-06-10 14:11  7.8K  
 glade.sta                                                               2014-06-10 14:11   45