diff options
| author |  Adam Chlipala <adamc@csail.mit.edu> | 2017-01-02 11:04:34 -0500 |
|---|---|---|
| committer | Adam Chlipala <adamc@csail.mit.edu> | 2017-01-02 11:04:34 -0500 |
| commit | 4e1f94952d1f8b861e52decddcadbbdc4f83d32f (patch) | |
| tree | 2163b0540c6d0c48755abdf110c07de1d4e3a58f /demo/batch.urs | |
| parent | b6ef142f8950b1b5271b68f18ec44f38f88b5851 (diff) | |
Add 'placeholder' attribute for textareas
Diffstat (limited to 'demo/batch.urs')
0 files changed, 0 insertions, 0 deletions