mielvds
|
03ccb2f154
|
Merge pull request #4 from bartoszWesolowski/added-line-numbers-to-input-field
Added line numbers to input field
|
2019-01-09 14:25:05 +01:00 |
Pieter Colpaert
|
3588565038
|
Update N3.js
|
2018-02-16 11:16:18 +01:00 |
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 |