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 /LICENSE | |
| parent | 1f45469eace715b013c9075be3102b8eaa4e4f9c (diff) | |
Better treatment of relative paths in .urp files
Diffstat (limited to 'LICENSE')
0 files changed, 0 insertions, 0 deletions