Alessandro Mauri alema
alema created branch master in alema/rovo 2023-06-08 13:15:07 +02:00
alema pushed to master at alema/rovo 2023-06-08 13:15:07 +02:00
8f27b1a576 first commit
alema created repository alema/rovo 2023-06-08 13:14:56 +02:00
alema pushed to master at alema/rivet 2023-05-29 11:36:10 +02:00
f830437dfb Merge pull request 'correctly update title for current index page' (#3) from EmaMaker/rivet:master into master
a03113d112 correctly update title for current index page
Compare 2 commits »
alema merged pull request alema/rivet#3 2023-05-29 11:36:09 +02:00
correctly update title for current index page
alema merged pull request alema/rivet#2 2023-05-18 11:05:33 +02:00
Pages list for index files in subdirectories
alema pushed to master at alema/rivet 2023-05-18 11:05:33 +02:00
2a8437d7a7 Merge pull request 'Pages list for index files in subdirectories' (#2) from EmaMaker/rivet:master into master
52b4b836f2 "Pages in this section" -> "Pages in *file title*"
4536162c42 "Pages in this section" instead of "Pages" in subdirectories index file list
5538ba5c59 "Pages" list also for index.html files in subdirectories
Compare 4 commits »
alema pushed to master at alema/rivet 2023-05-18 00:30:13 +02:00
6b49f03e02 Merge pull request 'fix typo in comment' (#1) from EmaMaker/rivet:typo into master
387202b935 fix typo in comment
Compare 2 commits »
alema merged pull request alema/rivet#1 2023-05-18 00:30:12 +02:00
fix typo in comment
alema pushed to master at alema/ugui.c3l 2023-03-27 11:18:18 +02:00
4ee957c2ae reordered generic_stack
alema pushed to master at alema/ugui.c3l 2023-03-26 19:15:25 +02:00
9464f2ca23 add a way to disable stack hashing
Compare 2 commits »
alema pushed to master at alema/ugui.c3l 2023-03-19 16:42:56 +01:00
alema pushed to master at alema/alemauri.eu 2023-03-12 14:13:30 +01:00
8e8d03825a Sun Mar 12 02:13:29 PM CET 2023
alema pushed to master at alema/ugui.c3l 2023-03-12 13:43:33 +01:00
5455449bf9 lru cache now works as intended
alema pushed to master at alema/ugui.c3l 2023-03-12 02:00:04 +01:00
alema pushed to master at alema/ugui.c3l 2023-03-12 00:28:48 +01:00
09fe22e984 stuff
alema pushed to master at alema/ugui.c3l 2023-03-11 20:22:21 +01:00
1a552f8804 hash table remove
alema pushed to master at alema/ugui.c3l 2023-03-11 20:15:37 +01:00
0e13fd34fb better hash and fix cache
alema pushed to master at alema/ugui.c3l 2023-03-08 18:16:08 +01:00
a65662d0fc use system font
alema pushed to master at alema/ugui.c3l 2023-03-08 18:10:31 +01:00
4c2b0ef847 smaller glyph structure