benchmark
|
Import release snapshot.
|
2014-07-14 21:32:44 +02:00 |
benchmark-isabelle
|
Import release snapshot.
|
2014-07-14 21:32:44 +02:00 |
etc
|
misc/etc: standard settings for large builds
|
2015-05-27 17:26:28 +10:00 |
filemerge
|
misc/filemerge: Remove unnecessary import.
|
2015-09-29 13:44:55 +10:00 |
fonts
|
Import release snapshot.
|
2014-07-14 21:32:44 +02:00 |
jedit/macros
|
JEdit macro: goto-error (first version)
|
2015-08-24 03:03:49 +10:00 |
regression
|
regression: fix infinite loop in testspec.py.
|
2015-09-30 15:37:07 +10:00 |
scripts
|
test_spec: Be more picky about blank lines.
|
2014-10-21 21:37:03 +11:00 |