diff options
| author | Tom Smeding <t.j.smeding@uu.nl> | 2024-08-28 16:12:15 +0200 |
|---|---|---|
| committer | Tom Smeding <t.j.smeding@uu.nl> | 2024-08-28 16:12:15 +0200 |
| commit | 2870da310256a137971a6a661801dcdf9dedd818 (patch) | |
| tree | d55359df3d6d1f9b25a9a0bee8e5f636277972da /.gitignore | |
| parent | 5a0ce21e12e765125ad8068e919cf97b70df8257 (diff) | |
Rename "lifting" to "floating"
The paper calls it floating, and that's a less overloaded term.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions