Commit Graph

20 Commits

Author SHA1 Message Date
reaction.la
0b2e33d0c4
fixed the web links 2024-11-04 06:46:38 +08:00
reaction.la
a6ae125e3d
moving to ssh key based signing 2024-02-25 17:05:46 -08:00
Cheng
d82d5218bc
Got it working, the mystery crash was my update to wxWidgets 3.2.2.1 2023-09-28 18:14:32 +10:00
Cheng
a68282e390
modified: .gitconfig 2023-09-28 14:34:51 +10:00
Cheng
b16ddb2071
stashing changes here, and going back in time till file dialogs work 2023-09-27 22:50:55 +10:00
reaction.la
98a0c6a5f7
typos in code of conduct 2023-02-24 11:21:15 +08:00
reaction.la
7d8ebed948
Merge remote-tracking branch 'origin/master' into docs 2022-07-03 15:20:12 +10:00
Cheng
d17bca2afb
default check everything is too damned slow 2022-07-01 09:58:59 +10:00
reaction.la
3129c736f2
Merge remote-tracking branch 'origin/cmake' into docs 2022-06-21 14:54:01 +10:00
reaction.la
034983be0b
cleaned up whitespace 2022-06-21 14:46:05 +10:00
reaction.la
7cc6949499
Merge remote-tracking branch 'origin/master' into docs 2022-06-20 13:02:17 +10:00
aryan
9dc3b9f979
modified: .gitconfig
Trying to get recursion to work.

modified:   libsodium to our customized fork.
modified:   mpir  to our customized fork.
modified:   wxWidgets  to our customized fork.
2022-06-18 14:05:46 -07:00
aryan
4ad66f5c13
Merge remote-tracking branch 'origin/docs' into cmake 2022-06-16 03:39:40 -07:00
reaction.la
8693cbadcf
fixing repo configuration to better handle radical submodule changes 2022-06-16 09:46:40 +10:00
aryan
b3b40efdc0
set git to recurse submodules 2022-06-13 00:14:48 -07:00
Cheng
aab2dcbd6a
documenting my sufferings with git submodules 2022-06-11 21:34:51 +10:00
reaction.la
da88ce597f
whitespace woes 2022-05-23 14:05:10 +10:00
reaction.la
5238cda077
cleanup, and just do not like pdfs
Also, needed to understand Byzantine fault tolerant paxos better.

Still do not.
2022-02-20 18:26:44 +10:00
reaction.la
e49662106b
Checking in html files 2022-02-18 13:33:27 +10:00
Cheng
3c6a37b0e1
leaving potentially inconvenient history behind 2022-02-16 15:54:47 +10:00