diff options
author | Manoj Srivastava <srivasta@debian.org> | 2020-05-22 19:57:41 -0700 |
---|---|---|
committer | Manoj Srivastava <srivasta@debian.org> | 2020-05-22 20:02:19 -0700 |
commit | c3d2579ad8d7eb33059aa8fdbaf5b564411a57f2 (patch) | |
tree | 1570cda0676fdcf4171a69a7fe313c1b89a52b0c /lib/user/automat.atm | |
parent | 986b7742bf244b4073ecca0723615f70be8a1ab6 (diff) | |
parent | 4e9b9c402ed95bf9a17fd6d795bc49bb4128a6fa (diff) |
Merge branch 'upstream' into debian-cmake-fixes
Diffstat (limited to 'lib/user/automat.atm')
-rw-r--r-- | lib/user/automat.atm | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/lib/user/automat.atm b/lib/user/automat.atm deleted file mode 100644 index e69de29b..00000000 --- a/lib/user/automat.atm +++ /dev/null |