diff options
| author | Andy Wortman <ixineeringeverywhere@gmail.com> | 2017-11-20 03:24:41 -0800 |
|---|---|---|
| committer | Andy Wortman <ixineeringeverywhere@gmail.com> | 2017-11-20 03:24:41 -0800 |
| commit | d626ae08cdfe8d1cbae3fdd0ccc9827d4691718e (patch) | |
| tree | 20d104aab251475ea64caf83ac43ecd67731315e /src/display/mod.rs | |
| parent | 666ca5b38bbf4f5243519e79953038f947b268fc (diff) | |
add profiles command to list known profiles
also ... include profile command file, which i neglected to include in a prior commit
Diffstat (limited to 'src/display/mod.rs')
0 files changed, 0 insertions, 0 deletions