diff options
| author | Jakob Kaivo <jkk@ung.org> | 2024-05-28 15:50:03 -0400 |
|---|---|---|
| committer | Jakob Kaivo <jkk@ung.org> | 2024-05-28 15:50:03 -0400 |
| commit | c9ec058657f9f8b3fd39a16f1a9e993b4a1e982e (patch) | |
| tree | 6cf1abadd04a1a9049d82ffe0e78be7f8b4cece2 /.gitignore | |
| parent | b4cd7036bea6c6440fbbcdaebe53c864c87a5646 (diff) | |
abstract out "forced" implementations of functions from future specifications
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions