diff options
| author | David Aspinall | 2011-09-14 11:30:56 +0000 |
|---|---|---|
| committer | David Aspinall | 2011-09-14 11:30:56 +0000 |
| commit | 518be597da9d4f5f6769ffec64fd3072a265f296 (patch) | |
| tree | d3d0276255ce15a6dcf0788553756dcafd706dbd /generic/proof-shell.el | |
| parent | c290f64d3085ebad129d164c144a5a2f572b7c9c (diff) | |
# User Robin Green <greenrd@greenrd.org>
Use correct customisation widget for variable-length list of strings
Diffstat (limited to 'generic/proof-shell.el')
0 files changed, 0 insertions, 0 deletions