Philipp Kühn
|
a1f94056cf
|
do not allow other marks within code
|
2019-05-10 14:56:50 +02:00 |
|
Chrissi2812
|
027a4db452
|
added pasteRules to marks
|
2019-01-31 15:11:16 +01:00 |
|
Philipp Kühn
|
f04a6be6c1
|
tabs to spaces whitespace
|
2018-11-08 22:03:10 +01:00 |
|
Philipp Kühn
|
dcba6686dc
|
add new commands to all extensions
|
2018-10-28 21:59:08 +01:00 |
|
Philipp Kühn
|
6b03315e59
|
rename all extensions (drop suffix)
|
2018-10-24 07:46:47 +02:00 |
|
Philipp Kühn
|
b61f95a2a7
|
add markInputRule function
|
2018-08-24 23:53:49 +02:00 |
|
Philipp Kühn
|
e2176f00fd
|
move extensions to own package
|
2018-08-23 22:08:19 +02:00 |
|