Bartosz Wesolowski
|
1a9277b17c
|
Added line numbers to text area.
|
2017-11-18 14:12:34 +01:00 |
|
Bartosz Wesolowski
|
41660a58fc
|
Included lined-textarea lib from: https://github.com/aw20/JQueryLinedText
|
2017-11-18 14:10:04 +01:00 |
|
Dieter De Paepe
|
d282c57354
|
Add proper styling.
|
2016-11-29 11:28:00 +01:00 |
|
Dieter De Paepe
|
a15fcadc21
|
Ignore ttl.js.
|
2016-11-29 11:27:36 +01:00 |
|
Dieter De Paepe
|
55080ccd18
|
Update affiliation, add LICENSE.
|
2016-11-29 11:06:12 +01:00 |
|
Dieter De Paepe
|
5f4bd66d36
|
Properly escape html in error or warning.
|
2016-11-29 10:55:57 +01:00 |
|
Pieter Colpaert
|
b330e0e74c
|
Added a simple browser client
|
2015-07-14 19:23:35 +02:00 |