|
|
3c1cc805cf
|
Cache & use RFC index
|
2023-08-10 14:42:12 +12:00 |
|
|
|
7ae353cc4f
|
Added RFC counts
|
2023-08-01 17:29:54 +12:00 |
|
|
|
5ee0b52122
|
Added RFCs via wg acronym
|
2023-08-01 15:19:46 +12:00 |
|
|
|
a16a398ce7
|
Cosmetics
|
2023-07-31 15:21:51 +12:00 |
|
|
|
04567e58a6
|
Enhance RFCbib6
1. Wider net to catch RFC titles
2. Show STD/BCP numbers
|
2023-07-31 11:35:59 +12:00 |
|
|
|
4903b673c1
|
Updated RFC biblio
|
2023-07-29 17:16:36 +12:00 |
|
|
|
afb5176496
|
Download RFC index if needed
Now it's really a complete version, done for today.
|
2023-05-21 16:58:12 +12:00 |
|
|
|
ed845af495
|
handle file exception
|
2023-05-21 14:36:12 +12:00 |
|
|
|
53dc08290d
|
Uploaded RFCbib6.py
|
2023-05-21 14:28:34 +12:00 |
|
