chiark / gitweb /
 
descriptionUnnamed repository; edit this file 'description' to name the repository.
ownerIan Jackson
last changeMon, 23 Jan 2017 17:15:53 +0000 (17:15 +0000)
shortlog
2017-01-23 Ian JacksonUpgrade licence to GPLv3+. master
2017-01-23 Ian Jacksonspec.sgml: Update for update copyright notices
2017-01-23 Ian JacksonPatch from Peter Benie.
2017-01-23 Ian JacksonCorrect quoting of include-lookup directory. Closes...
2017-01-23 Ian JacksonUpdate some copyright notices.
2017-01-23 Ian JacksonSupport `range' operator, as promised by the spec....
2017-01-23 Ian Jacksonspec.sgml: Correct docs for errors-push, which takes...
2017-01-23 Ian JacksonUse `%option nounput' rather than #define YY_NO_UNPUT.
2017-01-23 Ian JacksonDo not ignore errors from readdir.
2017-01-23 Ian JacksonParser fixes:
2017-01-23 Ian Jacksondebian/rules: Honour dpkg-buildflags.
2017-01-23 Ian JacksonUpstream Makefiles: Honour XCFLAGS.
2017-01-23 Ian JacksonDebian packaging: Add some newer debian/ droppings...
2013-12-01 Ian Jacksonchangelog WIP
2012-06-08 Ian Jacksonfinalise changelog debian/1.1.1
2012-06-08 Ian Jacksoninclude required-stop
...
tags
4 years ago debian/1.1.1 Debian release 1.1.1
4 years ago debian/1.1.0 Debian release 1.1.0
4 years ago ubuntu/1.0.6ubuntu1 Debian version 1.0.6ubuntu1
9 years ago debian_version_1_0_6
11 years ago debian_version_1_0_5
11 years ago debian_version_1_0_4
13 years ago debian_version_1_0_3-2
13 years ago debian_version_1_0_3
13 years ago debian_version_1_0_1_99_3
13 years ago debian_version_1_0_1_99_2
13 years ago debian_version_1_0_1_99_1
13 years ago debian_version_1_0_1_99_0
16 years ago debian_version_1_0_1
17 years ago debian_version_1_0_0
17 years ago debian_version_0_95_0
17 years ago debian_version_0_65_2
...
heads
3 months ago master