Index of:

 Name                              Last modified      Size  
 Parent Directory                                       -   
 GNUmakefile                       2010-04-17 11:52   92   
 GNUmakefile.in                    2010-04-17 11:52  182   
 dir.mk                            2011-11-28 22:55  3.5K  
 echo.idl                          2010-04-17 11:52   69   
 embed.cc                          2010-04-17 11:52  3.7K  
 embed.py                          2010-04-17 11:52  1.0K