Improve category completion
authorJoey Schulze <joey@infodrom.org>
Mon, 5 Oct 2015 08:39:14 +0000 (08:39 +0000)
committerJoey Schulze <joey@infodrom.org>
Mon, 5 Oct 2015 08:39:14 +0000 (08:39 +0000)
commit6ec55cb8d780c76d7b22e34d7cb228f12700f70a
tree86f6170bb2569ce81d8698f76bcc8b3a86633ad5
parent2bb5368edab70b43e117bf474205a766595939c6
Improve category completion
src/InfoCon/buch/infocon