chiark / gitweb /
~ijackson / technical-committee-grs.git / log
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
technical-committee-grs.git
11 years agofix typo
commit | commitdiff | tree
Ian Jackson [Mon, 9 Jul 2012 17:17:30 +0000 (18:17 +0100)]
fix typo

11 years agoadd cite
commit | commitdiff | tree
Ian Jackson [Mon, 9 Jul 2012 03:36:53 +0000 (04:36 +0100)]
add cite

11 years agogitignore
commit | commitdiff | tree
Ian Jackson [Mon, 9 Jul 2012 03:03:39 +0000 (04:03 +0100)]
gitignore

11 years agoinitial
commit | commitdiff | tree
Ian Jackson [Mon, 9 Jul 2012 03:03:22 +0000 (04:03 +0100)]
initial

Unnamed repository; edit this file 'description' to name the repository.