diff options
| author | Kartik K. Agaram <vc@akkartik.com> | 2016-07-21 11:56:27 -0700 |
|---|---|---|
| committer | Kartik K. Agaram <vc@akkartik.com> | 2016-07-21 12:04:55 -0700 |
| commit | fc19980d91e306df87b308d0c2875a2dcaf4b5c7 (patch) | |
| tree | cb0a172d6ccc356ef3a707b1b00c920621312cf9 /080display.cc | |
| parent | 2c697d86791b0771e34b44d0b6864030595c6334 (diff) | |
| download | mu-fc19980d91e306df87b308d0c2875a2dcaf4b5c7.tar.gz | |
3119
Warn if 'put' or 'put-index' has a mismatch in the type of the product, not just the name. It won't do any harm, but could be misleading to a later reader. In both instructions, the product is just for documentation.
Diffstat (limited to '080display.cc')
0 files changed, 0 insertions, 0 deletions