diff options
author | Adam Chlipala <adam@chlipala.net> | 2010-12-14 10:21:51 -0500 |
---|---|---|
committer | Adam Chlipala <adam@chlipala.net> | 2010-12-14 10:21:51 -0500 |
commit | e11186e907701f52c561bdee1a88333b9582ab59 (patch) | |
tree | 1285189a7783fd76b9a5b68764386777f9b133b5 /src/demo.sml | |
parent | 1f45469eace715b013c9075be3102b8eaa4e4f9c (diff) |
Better treatment of relative paths in .urp files
Diffstat (limited to 'src/demo.sml')
0 files changed, 0 insertions, 0 deletions