Remove -s binder switch.master
[diouzhtu.git] / diouzhtu / src / 
tree0f6ba32ff7c2de14469877e93707d9637cc2c0b7
drwxr-xr-x   ..
-rw-r--r-- 3716 diouzhtu-attribute.adb
-rw-r--r-- 1843 diouzhtu-attribute.ads
-rw-r--r-- 16483 diouzhtu-block.adb
-rw-r--r-- 1694 diouzhtu-block.ads
-rw-r--r-- 5768 diouzhtu-code.adb
-rw-r--r-- 1935 diouzhtu-code.ads
-rw-r--r-- 20302 diouzhtu-inline.adb
-rw-r--r-- 1700 diouzhtu-inline.ads
-rw-r--r-- 7008 diouzhtu-to_html.adb
-rw-r--r-- 1911 diouzhtu-to_html.ads
-rw-r--r-- 4276 diouzhtu.adb
-rw-r--r-- 2825 diouzhtu.ads