diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2013-09-26 16:22:06 -0400 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2013-09-26 16:22:06 -0400 |
| commit | 71cc64ad35debb1950827e4be6c6a3d5cfc216fc (patch) | |
| tree | cad67680fb49f89df78b84d6266344d710cb0d62 /LICENSE | |
| parent | ed7e4c443e611490ce83c8ee6bedea14c636011c (diff) | |
Get -root working properly again
Diffstat (limited to 'LICENSE')
0 files changed, 0 insertions, 0 deletions