Activity
From 12 Aug 2022 to 10 Sep 2022
22 Aug 2022
-
16:59 0.20 hour (Design #1697 (Closed): Specifying BOOST in configure)
- Name?
-
16:23 0.40 hour (Design #1696 (Closed): Which BOOST libs are actually needed?)
- MacOS
18 Aug 2022
-
15:36 0.25 hour (Bug #1093 (In Progress): GUI: bugs and slugs)
- Intr mesgs
-
15:27 0.25 hour (Slug #750 (Closed): C5 GUI: very slow when printing many short lines)
- Confirmed
-
14:39 0.25 hour (Design #1696 (Closed): Which BOOST libs are actually needed?)
- Version
-
12:21 0.50 hour (Design #1696 (Closed): Which BOOST libs are actually needed?)
- Apparently just filesystem
-
11:40 0.50 hour (Design #1696 (Closed): Which BOOST libs are actually needed?)
- Some notes
16 Aug 2022
-
21:29 0.50 hour (Bug #1695 (Closed): boost-find-lib.sh)
- Some notes
Also available in: Atom