HCoop Git - bpt/mlt.git/history - settings.sml

HCoop / bpt / mlt.git / history

summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next

[bpt/mlt.git] / settings.sml

2004-09-22	Adam Chlipala	Auto-generate settings.sml	blob \| commitdiff \| raw
2004-09-22	Adam Chlipala	More un-hardcoding	blob \| commitdiff \| raw

Unnamed repository; edit this file 'description' to name the repository.