fa786ea791
5884
2020-01-12 14:52:07 -08:00
194d100792
5881
2020-01-10 10:35:17 -08:00
c9bda4d13e
5875
2020-01-02 15:23:01 -08:00
ffb1bab667
5870
2020-01-02 12:46:57 -08:00
7fd4a87066
5868
...
Follow stupid GNU convention, because why not:
https://www.gnu.org/prep/standards/html_node/Releases.html
2020-01-02 12:27:35 -08:00
f4bef91bd9
5859
...
Move script to create a Linux-based boot image into a sub-directory.
2020-01-01 19:40:28 -08:00
65409d2312
5858
...
Move script to create a Soso boot image into a sub-directory.
I'm trying to streamline newcomer attention to just a couple of use cases.
2020-01-01 18:42:48 -08:00
535755316b
5837 - better colors for trace browser
2019-12-28 14:06:25 -08:00
c69f33143c
5819
...
Minor tweaks to stop wasting horizontal space in the trace.
2019-12-22 07:48:53 -08:00
80612d80d2
5816 - browse_trace bug fixed
2019-12-21 22:53:23 -08:00
f97e9d9be8
5815
2019-12-21 22:42:08 -08:00
657bff9847
5814
2019-12-21 22:42:08 -08:00
7d02b3a73c
5813
2019-12-21 22:42:08 -08:00
c9c6ab35a6
5812 - debugging an ancient niggle in browse_trace
...
The problem: when I hit 'G' to go to the bottom of the trace, if the bottom
is visible on screen, the screen scrolls so the bottom of the trace
is the bottom-most line on screen. But the cursor moves to where the trace
used to end rather than the new location of the bottom of the trace (the
bottom of the screen).
2019-12-21 22:40:24 -08:00
2249e605c1
5805
2019-12-08 23:31:05 -08:00
bfadbd4bbf
5801 - move `tangle` to `tools/` dir
2019-12-07 18:15:49 -08:00
f821c0e28b
5800 - move `browse_trace` to `tools/` dir
2019-12-07 18:15:49 -08:00
9e45cae061
5799 - move html-generation to `tools/` directory
2019-12-07 18:06:17 -08:00
72f278ae6b
5797 - move `enumerate/` to `tools/` directory
2019-12-07 18:06:16 -08:00
c1d596f56a
5796 - move treeshake to a new tools/ directory
2019-12-07 18:05:06 -08:00
Kartik Agaram