• Joined on 2018-06-07
hjp pushed to master at hjp/dot 2020-11-12 15:17:48 +01:00
ec477c64f9 Merge branch 'master' of git.hjp.at:hjp/dot
d87a7a5b0a Recognize Redmine wiki texts edited with textern.
a8caa34f9f Recognise alternate form of Ctrl-E
14dd884ae0 Add subdirecories of ~/bin/hosts to PATH
Compare 4 commits »
hjp pushed to hjp at hjp/dot 2020-10-28 12:30:07 +01:00
f0d2b7e788 Merge branch 'master' into hjp
14b83d3cfc Unset all locale env variables referring to non-existent locales
2741a2d553 Remove HP-UX specific stuff
Compare 3 commits »
hjp pushed to wsr_shared at hjp/dot 2020-10-28 12:29:47 +01:00
1099089f27 Merge branch 'master' into wsr_shared
14b83d3cfc Unset all locale env variables referring to non-existent locales
2741a2d553 Remove HP-UX specific stuff
a72bbeda6b Don't set MANPATH
e65664fdf2 Remove (semi)obsolete hostnames
Compare 6 commits »
hjp pushed to wsr at hjp/dot 2020-10-28 12:29:23 +01:00
f9ba74852f Merge branch 'master' into wsr
14b83d3cfc Unset all locale env variables referring to non-existent locales
Compare 2 commits »
hjp pushed to master at hjp/dot 2020-10-28 12:28:37 +01:00
14b83d3cfc Unset all locale env variables referring to non-existent locales
hjp pushed to master at hjp/linked-list 2020-10-24 01:52:28 +02:00
d6ecce40f9 Free list after each test
hjp pushed to master at hjp/linked-list 2020-10-24 01:31:15 +02:00
259302b368 Benchmark linked list in C
hjp created repository hjp/linked-list 2020-10-24 01:30:55 +02:00
hjp pushed to master at hjp/awd 2020-09-15 09:04:36 +02:00
cd385be7df Serve archived pages
hjp created repository hjp/awd 2020-09-15 09:02:46 +02:00
hjp pushed to master at hjp/pgcollate 2020-08-21 00:27:22 +02:00
7ddbb84dec Add version information
3ea5cbdbe7 Order all unicode code points by default postgresql collation
hjp created repository hjp/pgcollate 2020-08-21 00:26:33 +02:00
hjp pushed to wsr at hjp/dot 2020-06-15 09:37:04 +02:00
53e21591cc Merge branch 'master' into wsr
2741a2d553 Remove HP-UX specific stuff
a72bbeda6b Don't set MANPATH
e65664fdf2 Remove (semi)obsolete hostnames
Compare 4 commits »
hjp pushed to master at hjp/dot 2020-06-15 00:47:51 +02:00
2741a2d553 Remove HP-UX specific stuff
hjp pushed to master at hjp/yama 2020-06-14 20:30:51 +02:00
dfdfb289b2 Move css level further up to compensate for per-list directories
14130941c7 Handle empty from or subject
Compare 2 commits »
hjp pushed to master at hjp/yama 2020-04-17 01:01:54 +02:00
b09e1b4613 Beautify
17e68334ca Mark the current message in the thread
8e1337bc8f Add links to the nodes in the thread graph
15c70e6836 Split calendar view into months
10ce9fad8b Escape from and subject
Compare 6 commits »
hjp pushed to hjp at hjp/dot 2020-04-16 22:34:42 +02:00
985b8edd6f Merge branch 'master' into hjp
a72bbeda6b Don't set MANPATH
e65664fdf2 Remove (semi)obsolete hostnames
200df8d1a6 Use long DEB_SIGN_KEYID
Compare 4 commits »
hjp pushed to master at hjp/dot 2020-04-16 22:34:42 +02:00
a72bbeda6b Don't set MANPATH
hjp pushed to master at hjp/dot 2020-04-16 22:25:50 +02:00
e65664fdf2 Remove (semi)obsolete hostnames
hjp pushed to wsr at hjp/dot 2020-04-16 14:39:43 +02:00
e8b15ba770 Merge branch 'master' into wsr
200df8d1a6 Use long DEB_SIGN_KEYID
Compare 2 commits »